The dog is nice. The dog is rough. The dog is round. Round, red things are nice. If the dog is red then the dog is rough. If something is big then it is red. If something is round and red then it is rough. Nice things are big. If something is red then it is round.
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
Round, red things are nice.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If the dog is red then the dog is rough.
((("dog" "is" "red" "+")) -> ("dog" "is" "rough" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is round and red then it is rough.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
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 big.
True
2
proof
[(((triple1) -> rule5))]
("dog" "is" "big" "+")
((triple1) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "is" "big" "-")
((triple1) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is red.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("dog" "is" "red" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not red.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("dog" "is" "red" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "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 nice.[(triple1)] The dog is rough.[(triple2 OR ((((((triple1) -> rule5)) -> rule3)) -> rule2) OR ((triple3 ((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple1) -> rule5)) -> rule3)) -> rule4))] The dog is round.[(triple3 OR ((((((triple1) -> rule5)) -> rule3)) -> rule6))] @1: The dog is big.[(((triple1) -> rule5))] @2: The dog is red.[(((((triple1) -> rule5)) -> rule3))]
The dog is nice.
("dog" "is" "nice" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((triple3 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog is round.
("dog" "is" "round" "+")
triple3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog is big.
("dog" "is" "big" "+")
((triple1) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2