The rabbit is young. Blue people are big. All blue people are big. All big people are nice. Green, young people are big. If someone is young and nice then they are green. If someone is young then they are nice.
The rabbit is young.
("rabbit" "is" "young" "+")
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Green, young people are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
The rabbit is young.
True
1
proof
[(triple1)]
("rabbit" "is" "young" "+")
triple1
The rabbit is not young.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "young" "-")
triple1
The rabbit is nice.
True
2
proof
[(((triple1) -> rule6))]
("rabbit" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple1) -> rule6))]
("rabbit" "is" "nice" "-")
((triple1) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
True
4
proof
[(((triple1 ((triple1) -> rule6)) -> rule5))]
("rabbit" "is" "green" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule6)) -> rule5))]
("rabbit" "is" "green" "-")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The rabbit is young.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule6))] @2: The rabbit is green.[(((triple1 ((triple1) -> rule6)) -> rule5))] @3: The rabbit is big.[(((((triple1 ((triple1) -> rule6)) -> rule5) triple1) -> rule4))]
The rabbit is young.
("rabbit" "is" "young" "+")
triple1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3