Dave is blue. Dave is not cold. Dave is furry. Dave is red. Dave is rough. Dave is not round. Dave is white. Fiona is blue. Fiona is cold. Fiona is red. Fiona is round. Fiona is not white. All round, blue things are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
All round, blue things are furry.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Dave is furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "+")
triple3
Fiona is white.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "white" "+")
triple12
Fiona is furry.
True
3
proof
[(((triple11 triple8) -> rule1))]
("Fiona" "is" "furry" "+")
((triple11 triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple11 triple8) -> rule1))]
("Fiona" "is" "furry" "-")
((triple11 triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
@0: Dave is blue.[(triple1)] Dave is furry.[(triple3)] Dave is not cold.[(triple2)] Dave is not round.[(triple6)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is not white.[(triple12)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] @1: Fiona is furry.[(((triple11 triple8) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11 triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1