The dog is rough. If someone is big then they are blue. If someone is round then they are blue. Rough people are big. All round, rough people are big. If someone is blue then they are round. All young people are not round.
The dog is rough.
("dog" "is" "rough" "+")
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All round, rough people are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All young people are not round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "-"))
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 big.
True
2
proof
[(((triple1) -> rule3))]
("dog" "is" "big" "+")
((triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "is" "big" "-")
((triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("dog" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("dog" "is" "blue" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is round.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]
("dog" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog is not round.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]
("dog" "is" "round" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
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 young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
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 visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is rough.[(triple1)] @1: The dog is big.[(((triple1) -> rule3))] @2: The dog is blue.[(((((triple1) -> rule3)) -> rule1))] @3: The dog is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
((triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3