Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is white. If Fiona is red then Fiona is round. If something is young then it is round. If something is round and not white then it is furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is red then Fiona is round.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "round" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something is round and not white then it is furry.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple9)]
("Fiona" "is" "green" "+")
triple9
Fiona is not nice.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "nice" "-")
triple10
Fiona is round.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "round" "+")
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "round" "-")
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple7) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is not furry.[(triple8)] Fiona is red.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is round.[(((triple11) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1