The dog is not cold. The dog is red. The dog is round. Big, red things are young. If something is red and big then it is young. All cold things are big. If something is young and not round then it is big. Red things are big. All cold things are red. Cold, round things are red. Cold things are red.
The dog is not cold.
("dog" "is" "cold" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
Big, red things are young.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is red and big then it is young.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is young and not round then it is big.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "+"))
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Cold, round things are red.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The dog is not round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "-")
triple3
The dog is big.
True
2
proof
[(((triple2) -> rule5))]
("dog" "is" "big" "+")
((triple2) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple2) -> rule5))]
("dog" "is" "big" "-")
((triple2) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
True
4
proof
[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule1))]
("dog" "is" "young" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not young.
False
4
inv-proof
[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule1))]
("dog" "is" "young" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
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 not cold.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] @1: The dog is big.[(((triple2) -> rule5))] @2: The dog is young.[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule1))]
The dog is not cold.
("dog" "is" "cold" "-")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
((triple2) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2