The dog is nice. If the dog is cold then the dog is nice. If something is nice then it is big. If the dog is big and the dog is green then the dog is cold. All nice things are cold. If something is cold then it is big. Cold things are nice. If something is red and cold then it is nice. Cold, nice things are big.
The dog is nice.
("dog" "is" "nice" "+")
If the dog is cold then the dog is nice.
((("dog" "is" "cold" "+")) -> ("dog" "is" "nice" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If the dog is big and the dog is green then the dog is cold.
((("dog" "is" "big" "+") ("dog" "is" "green" "+")) -> ("dog" "is" "cold" "+"))
All nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is red and cold then it is nice.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Cold, nice things are big.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
The dog is nice.
True
1
proof
[(triple1)]
("dog" "is" "nice" "+")
triple1
The dog is not nice.
False
1
inv-proof
[(triple1)]
("dog" "is" "nice" "-")
triple1
The dog is cold.
True
2
proof
[(((triple1) -> rule4))]
("dog" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple1) -> rule4))]
("dog" "is" "cold" "-")
((triple1) -> (rule4 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
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 is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The dog is nice.[(triple1)] @1: The dog is big.[(((triple1) -> rule2) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule8))] The dog is cold.[(((triple1) -> rule4))]
The dog is nice.
("dog" "is" "nice" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
((triple1) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1