The dog is rough. If the dog is rough then the dog is round. If the dog is rough and the dog is green then the dog is red. If the dog is green and the dog is round then the dog is red. If someone is green then they are rough. If someone is round then they are green. All round people are rough.
The dog is rough.
("dog" "is" "rough" "+")
If the dog is rough then the dog is round.
((("dog" "is" "rough" "+")) -> ("dog" "is" "round" "+"))
If the dog is rough and the dog is green then the dog is red.
((("dog" "is" "rough" "+") ("dog" "is" "green" "+")) -> ("dog" "is" "red" "+"))
If the dog is green and the dog is round then the dog is red.
((("dog" "is" "green" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
The dog is rough.
True
1
proof
[(triple1)]
("dog" "is" "rough" "+")
triple1
The dog is not rough.
False
1
inv-proof
[(triple1)]
("dog" "is" "rough" "-")
triple1
The dog is round.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "round" "+")
((triple1) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "round" "-")
((triple1) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
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 sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The dog is rough.[(triple1)] @1: The dog is round.[(((triple1) -> rule1))] @2: The dog is green.[(((((triple1) -> rule1)) -> rule5))] @3: The dog is red.[(((triple1 ((((triple1) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
((triple1) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3