Anne is not big. Anne is furry. Anne is green. Anne is kind. Bob is kind. Bob is rough. Harry is furry. Harry is rough. Harry is smart. Harry is young. All rough people are big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not kind.
False
1
inv-proof
[(triple4)]
("Anne" "is" "kind" "-")
triple4
Bob is big.
True
2
proof
[(((triple6) -> rule1))]
("Bob" "is" "big" "+")
((triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Bob" "is" "big" "-")
((triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Bob is kind.[(triple5)] Bob is rough.[(triple6)] Harry is furry.[(triple7)] Harry is rough.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Bob is big.[(((triple6) -> rule1))] Harry is big.[(((triple8) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not big.
("Anne" "is" "big" "-")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1