The rabbit is nice. The rabbit is rough. The rabbit is young. All big people are nice. All rough, big people are nice. All round, young people are big. If someone is big and young then they are rough. Big, young people are nice. Rough, young people are round.
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All rough, big people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All round, young people are big.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Big, young people are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Rough, young people are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
The rabbit is young.
True
1
proof
[(triple3)]
("rabbit" "is" "young" "+")
triple3
The rabbit is not rough.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "rough" "-")
triple2
The rabbit is round.
True
3
proof
[(((triple2 triple3) -> rule6))]
("rabbit" "is" "round" "+")
((triple2 triple3) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("rabbit" "is" "round" "-")
((triple2 triple3) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is big.
True
5
proof
[(((((triple2 triple3) -> rule6) triple3) -> rule3))]
("rabbit" "is" "big" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is not big.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple3) -> rule3))]
("rabbit" "is" "big" "-")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is nice.[(triple1 OR ((((((triple2 triple3) -> rule6) triple3) -> rule3)) -> rule1) OR ((triple2 ((((triple2 triple3) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple3) -> rule3) triple3) -> rule5))] The rabbit is rough.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is round.[(((triple2 triple3) -> rule6))] @2: The rabbit is big.[(((((triple2 triple3) -> rule6) triple3) -> rule3))]
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple1
((((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((triple2 ((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
((triple2 triple3) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2