Bob is not furry. Bob is quiet. Bob is rough. Bob is round. Bob is young. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is not white. Fiona is young. All quiet, rough people are cold. If someone is white and not round then they are cold.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
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" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All quiet, rough people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and not round then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "round" "-")
triple10
Bob is cold.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "cold" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "cold" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
@0: Bob is not furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Fiona is cold.[(triple6 OR ((triple8 triple9) -> rule1))] Fiona is furry.[(triple7)] Fiona is not white.[(triple11)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Fiona is young.[(triple12)] @1: Bob is cold.[(((triple2 triple3) -> rule1))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple8 triple9) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is not white.
("Fiona" "is" "white" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1