The dog is big. The dog is cold. The dog is not young. All young people are big. Young people are cold. Rough, round people are not cold. Round people are not rough. If someone is young and not big then they are rough. If someone is big then they are round. All cold people are round. All big, young people are round.
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not young.
("dog" "is" "young" "-")
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Rough, round people are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "-"))
Round people are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If someone is young and not big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All big, young people are round.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
The dog is big.
True
1
proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog is round.
True
2
proof
[(((triple1) -> rule6) OR ((triple2) -> rule7))]
("dog" "is" "round" "+")
((triple1) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple2) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple2) -> rule7))]
("dog" "is" "round" "-")
((triple1) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple2) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not rough.
True
3
proof
[(((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule7)) -> rule4))]
("dog" "is" "rough" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule7)) -> rule4))]
("dog" "is" "rough" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "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 big.[(triple1)] The dog is cold.[(triple2)] The dog is not young.[(triple3)] @1: The dog is round.[(((triple1) -> rule6) OR ((triple2) -> rule7))] @2: The dog is not rough.[(((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule7)) -> rule4))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is not young.
("dog" "is" "young" "-")
triple3
The dog is round.
("dog" "is" "round" "+")
((triple1) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple2) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not rough.
("dog" "is" "rough" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog is round.
("dog" "is" "round" "+")
int2