The dog is big. The dog is cold. The dog is red. The dog is not round. The dog is young. If someone is young then they are big. If someone is cold and not round then they are young. If the dog is not red then the dog is not cold.
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and not round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
If the dog is not red then the dog is not cold.
((("dog" "is" "red" "~")) -> ("dog" "is" "cold" "-"))
The dog is red.
True
1
proof
[(triple3)]
("dog" "is" "red" "+")
triple3
The dog is round.
False
1
inv-proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple2 triple4) -> rule2)) -> rule1))] The dog is cold.[(triple2)] The dog is not round.[(triple4)] The dog is red.[(triple3)] The dog is young.[(triple5 OR ((triple2 triple4) -> rule2))]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is not round.
("dog" "is" "round" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple5
((triple2 triple4) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1