Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Harry is blue. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is rough and Harry is smart then Harry is round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is rough and Harry is smart then Harry is round.
((("Harry" "is" "rough" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "round" "+"))
Harry is red.
True
1
proof
[(triple10)]
("Harry" "is" "red" "+")
triple10
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11 triple13) -> rule1))] Harry is smart.[(triple13)] Harry is young.[(triple14)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
((triple11 triple13) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple14