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