The rabbit is young. Round people are red. If the rabbit is young and the rabbit is round then the rabbit is red. If someone is young and green then they are round. Green, nice people are red. If someone is round then they are red. All young people are nice.
The rabbit is young.
("rabbit" "is" "young" "+")
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If the rabbit is young and the rabbit is round then the rabbit is red.
((("rabbit" "is" "young" "+") ("rabbit" "is" "round" "+")) -> ("rabbit" "is" "red" "+"))
If someone is young and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Green, nice people are red.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All young people 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 not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "round" "-")
The rabbit is red.
Unknown
rconc
[@2: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "is" "red" "+")
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 likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The rabbit is young.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule6))]
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