The dog is kind. All round things are red. Big things are not red. Round, nice things are not big. All kind things are big. Red, kind things are big. All red things are not nice. Nice, kind things are round. All red things are not round.
The dog is kind.
("dog" "is" "kind" "+")
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Big things are not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
Round, nice things are not big.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "-"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Red, kind things are big.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All red things are not nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
Nice, kind things are round.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
The dog is kind.
True
1
proof
[(triple1)]
("dog" "is" "kind" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple1)]
("dog" "is" "kind" "-")
triple1
The dog is big.
True
2
proof
[(((triple1) -> rule4))]
("dog" "is" "big" "+")
((triple1) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("dog" "is" "big" "-")
((triple1) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "round" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
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 likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is kind.[(triple1)] @1: The dog is big.[(((triple1) -> rule4))] @2: The dog is not red.[(((((triple1) -> rule4)) -> rule2))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
((triple1) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not red.
("dog" "is" "red" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The dog is not red.
("dog" "is" "red" "-")
int1
The dog is big.
("dog" "is" "big" "+")
int2