Anne is not big. Anne is not furry. Anne is quiet. Anne is rough. Anne is round. Anne is white. Anne is young. Bob is not big. Bob is furry. Bob is quiet. Bob is white. Harry is furry. Harry is not quiet. Harry is rough. Harry is not white. Round, big people are rough. White people are young.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
Round, big people are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Anne is young.
True
1
proof
[(triple7 OR ((triple6) -> rule2))]
("Anne" "is" "young" "+")
triple7
((triple6) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Harry is not rough.
False
1
inv-proof
[(triple14)]
("Harry" "is" "rough" "-")
triple14
Bob is young.
True
2
proof
[(((triple11) -> rule2))]
("Bob" "is" "young" "+")
((triple11) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple11) -> rule2))]
("Bob" "is" "young" "-")
((triple11) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is not big.[(triple1)] Anne is not furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule2))] Bob is furry.[(triple9)] Bob is not big.[(triple8)] Bob is quiet.[(triple10)] Bob is white.[(triple11)] Harry is furry.[(triple12)] Harry is not quiet.[(triple13)] Harry is not white.[(triple15)] Harry is rough.[(triple14)] @1: Bob is young.[(((triple11) -> rule2))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple6) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is not big.
("Bob" "is" "big" "-")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple13
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Bob is young.
("Bob" "is" "young" "+")
((triple11) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1