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