Fiona is not furry. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is smart. Fiona is young. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is not smart. Harry is young. If someone is smart then they are red. If someone is quiet then they are not nice. If Fiona is green and Fiona is not quiet then Fiona is not furry. If Harry is young and Harry is nice then Harry is furry. If someone is nice then they are not furry. If Harry is not nice then Harry is red.
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet then they are not nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "-"))
If Fiona is green and Fiona is not quiet then Fiona is not furry.
((("Fiona" "is" "green" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "furry" "-"))
If Harry is young and Harry is nice then Harry is furry.
((("Harry" "is" "young" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
If someone is nice then they are not furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
If Harry is not nice then Harry is red.
((("Harry" "is" "nice" "~")) -> ("Harry" "is" "red" "+"))
Fiona is young.
True
1
proof
[(triple6)]
("Fiona" "is" "young" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
@0: Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is not furry.[(triple1 OR ((triple3) -> rule5) OR ((triple2 triple4) -> rule3))] Fiona is not quiet.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is not smart.[(triple11)] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((((triple9) -> rule2)) -> rule6))] Harry is young.[(triple12)] @1: Fiona is red.[(((triple5) -> rule1))] Harry is not nice.[(((triple9) -> rule2))]
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple1
((triple3) -> (rule5 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
((triple2 triple4) -> (rule3 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is not smart.
("Harry" "is" "smart" "-")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
((triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple9) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1