Dave is blue. Dave is green. Dave is quiet. Dave is not red. Dave is round. Dave is smart. Dave is young. Fiona is not blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If something is quiet and not round then it is green. If something is young and not round then it is quiet. If something is red and not young then it is smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If something is quiet and not round then it is green.
((("something" "is" "quiet" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "+"))
If something is young and not round then it is quiet.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "quiet" "+"))
If something is red and not young then it is smart.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "+"))
Dave is smart.
True
1
proof
[(triple6)]
("Dave" "is" "smart" "+")
triple6
Fiona is blue.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is not red.[(triple4)] Dave is quiet.[(triple3)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13 OR ((triple11 triple14) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not red.
("Dave" "is" "red" "-")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
((triple11 triple14) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1