Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Furry, quiet people are big. If someone is quiet then they are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Furry, quiet people are big.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Fiona is cold.
True
1
proof
[(triple10)]
("Fiona" "is" "cold" "+")
triple10
Bob is not round.
False
1
inv-proof
[(triple7 OR ((triple5) -> rule2))]
("Bob" "is" "round" "-")
triple7
((triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
@0: Bob is big.[(triple1 OR ((triple4 triple5) -> rule1))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple5) -> rule2))] Fiona is big.[(triple8 OR ((triple11 triple12) -> rule1))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14 OR ((triple12) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
((triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
((triple11 triple12) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple12) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1