Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. If Fiona is furry and Fiona is quiet then Fiona is young. If Dave is cold and Dave is smart then Dave is red.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is furry and Fiona is quiet then Fiona is young.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "young" "+"))
If Dave is cold and Dave is smart then Dave is red.
((("Dave" "is" "cold" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "red" "+"))
Dave is quiet.
True
1
proof
[(triple4)]
("Dave" "is" "quiet" "+")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "smart" "-")
triple13
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple1 triple6) -> rule2))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple9 triple11) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple1 triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14
((triple9 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1