Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Cold, round things are quiet.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Cold, round things are quiet.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "white" "-")
triple14
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple6) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple8 triple13) -> rule1))] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple1 triple6) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
((triple8 triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14