Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is young. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is not young. If someone is quiet and not red then they are not young. If someone is red and not kind then they are blue. If someone is furry and not young then they are blue.
Dave is blue.
("Dave" "is" "blue" "+")
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 young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not 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 not young.
("Fiona" "is" "young" "-")
If someone is quiet and not red then they are not young.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "-"))
If someone is red and not kind then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
If someone is furry and not young then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
Fiona is not young.
True
1
proof
[(triple14)]
("Fiona" "is" "young" "-")
triple14
Fiona is not quiet.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "quiet" "-")
triple12
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple10 triple14) -> rule3))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is not cold.[(triple9)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((triple10 triple14) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple9
Fiona is not young.
("Fiona" "is" "young" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13