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