The dog is big. The dog is red. The dog is young. If someone is green and blue then they are red. Big people are blue. Blue people are big. If someone is blue then they are young. Big people are young. All blue, red people are green. If the dog is blue then the dog is young. All red people are big.
The dog is big.
("dog" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All blue, red people are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the dog is blue then the dog is young.
((("dog" "is" "blue" "+")) -> ("dog" "is" "young" "+"))
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The dog is big.
True
1
proof
[(triple1 OR ((triple2) -> rule8))]
("dog" "is" "big" "+")
triple1
((triple2) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule8))]
("dog" "is" "big" "-")
triple1
((triple2) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
True
2
proof
[(((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule2))]
("dog" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not blue.
False
2
inv-proof
[(((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule2))]
("dog" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is green.
True
4
proof
[(((((triple1) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule8)) -> rule2) triple2) -> rule6))]
("dog" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog is not green.
False
4
inv-proof
[(((((triple1) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule8)) -> rule2) triple2) -> rule6))]
("dog" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog is big.[(triple1 OR ((triple2) -> rule8))] The dog is red.[(triple2)] The dog is young.[(triple3 OR ((triple1) -> rule5) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2)) -> rule7) OR ((((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8)) -> rule2)) -> rule4) OR ((((((triple2) -> rule8)) -> rule2)) -> rule7))] @1: The dog is blue.[(((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule2))] @2: The dog is green.[(((((triple1) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule8)) -> rule2) triple2) -> rule6))]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple2) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
((triple1) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog is blue.
("dog" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3