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