The dog is not big. The dog is cold. The dog is round. All red people are cold. If the dog is round and the dog is not big then the dog is red.
The dog is not big.
("dog" "is" "big" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If the dog is round and the dog is not big then the dog is red.
((("dog" "is" "round" "+") ("dog" "is" "big" "~")) -> ("dog" "is" "red" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The dog is not cold.
False
1
inv-proof
[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule1))]
("dog" "is" "cold" "-")
triple2
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is red.
True
3
proof
[(((triple3 triple1) -> rule2))]
("dog" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("dog" "is" "red" "-")
((triple3 triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is cold.[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule1))] The dog is not big.[(triple1)] The dog is round.[(triple3)] @1: The dog is red.[(((triple3 triple1) -> rule2))]
The dog is cold.
("dog" "is" "cold" "+")
triple2
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1