Anne is rough. Anne is round. Anne is young. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Dave is nice. Dave is round. Dave is young. Gary is rough. Gary is smart. Nice people are blue.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Dave is nice.
True
1
proof
[(triple8)]
("Dave" "is" "nice" "+")
triple8
Charlie is not smart.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "smart" "-")
triple7
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Dave is nice.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Dave is blue.[(((triple8) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1