Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is not smart. Harry is big. Harry is furry. Harry is not kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. If someone is big then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Anne is not smart.
True
1
proof
[(triple5)]
("Anne" "is" "smart" "-")
triple5
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Anne is furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is not smart.[(triple5)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Harry is big.[(triple6)] Harry is furry.[(triple7 OR ((triple6) -> rule1))] Harry is nice.[(triple9)] Harry is not kind.[(triple8)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Anne is furry.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
((triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1