Anne is blue. Anne is nice. Anne is red. Anne is not rough. Bob is round. Charlie is red. Charlie is young. Blue, nice people are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Blue, nice people are young.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Anne is not rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is young.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Anne" "is" "young" "-")
((triple1 triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple4)] Anne is red.[(triple3)] Bob is round.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] @1: Anne is young.[(((triple1 triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1