The dog is green. Young people are round. If someone is cold then they are round. All green people are cold. If someone is big then they are young. If the dog is cold and the dog is round then the dog is big. Round people are big.
The dog is green.
("dog" "is" "green" "+")
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If the dog is cold and the dog is round then the dog is big.
((("dog" "is" "cold" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "big" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
The dog is green.
True
1
proof
[(triple1)]
("dog" "is" "green" "+")
triple1
The dog is not green.
False
1
inv-proof
[(triple1)]
("dog" "is" "green" "-")
triple1
The dog is cold.
True
2
proof
[(((triple1) -> rule3))]
("dog" "is" "cold" "+")
((triple1) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "is" "cold" "-")
((triple1) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is round.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("dog" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("dog" "is" "round" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
True
4
proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5))]
("dog" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is not big.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5))]
("dog" "is" "big" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
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 chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is green.[(triple1)] @1: The dog is cold.[(((triple1) -> rule3))] @2: The dog is round.[(((((triple1) -> rule3)) -> rule2))] @3: The dog is big.[(((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5))] @4: The dog is young.[(((((((((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule4) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5)) -> rule4))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
((triple1) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is young.
("dog" "is" "young" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4