The dog is blue. The dog is cold. The dog is kind. The dog is nice. The dog is young. All kind, young things are blue. All cold, blue things are kind. If the dog is young and the dog is blue then the dog is nice.
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
All kind, young things are blue.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All cold, blue things are kind.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If the dog is young and the dog is blue then the dog is nice.
((("dog" "is" "young" "+") ("dog" "is" "blue" "+")) -> ("dog" "is" "nice" "+"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is blue.[(triple1 OR ((triple3 triple5) -> rule1))] The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple2 triple1) -> rule2))] The dog is nice.[(triple4 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple3 triple5) -> rule1)) -> rule3))] The dog is young.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
((triple3 triple5) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
((triple2 triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple4
((triple5 triple1) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple5 ((triple3 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is young.
("dog" "is" "young" "+")
triple5