The cat is blue. The cat is green. The cat is kind. The cat is rough. The cat is round. Green, round people are blue. If someone is rough and green then they are kind. All round, kind people are green.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
Green, round people are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All round, kind people are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The cat is green.
True
1
proof
[(triple2 OR ((triple5 triple3) -> rule3))]
("cat" "is" "green" "+")
triple2
((triple5 triple3) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is blue.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple5 triple3) -> rule3) triple5) -> rule1))] The cat is green.[(triple2 OR ((triple5 triple3) -> rule3))] The cat is kind.[(triple3 OR ((triple4 triple2) -> rule2))] The cat is rough.[(triple4)] The cat is round.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
((triple2 triple5) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((((triple5 triple3) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is green.
("cat" "is" "green" "+")
triple2
((triple5 triple3) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple4 triple2) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5