The dog is red. Red things are rough. All round things are cold. Rough, cold things are big. All cold, red things are not round. If the dog is rough and the dog is round then the dog is red. If the dog is red and the dog is round then the dog is not cold. If the dog is rough then the dog is cold. If something is cold then it is red.
The dog is red.
("dog" "is" "red" "+")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Rough, cold things are big.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All cold, red things are not round.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
If the dog is rough and the dog is round then the dog is red.
((("dog" "is" "rough" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "red" "+"))
If the dog is red and the dog is round then the dog is not cold.
((("dog" "is" "red" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "cold" "-"))
If the dog is rough then the dog is cold.
((("dog" "is" "rough" "+")) -> ("dog" "is" "cold" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The dog is red.
True
1
proof
[(triple1)]
("dog" "is" "red" "+")
triple1
The dog is not red.
False
1
inv-proof
[(triple1)]
("dog" "is" "red" "-")
triple1
The dog is rough.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
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 eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog is red.[(triple1)] @1: The dog is rough.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1)) -> rule7))] @3: The dog is big.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule3))] The dog is not round.[(((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))]
The dog is red.
("dog" "is" "red" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog is not round.
("dog" "is" "round" "-")
((((((triple1) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3