Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Smart, nice people are quiet. If Fiona is green then Fiona is furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart, nice people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is green then Fiona is furry.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is quiet.
True
1
proof
[(triple10 OR ((triple12 triple9) -> rule1))]
("Fiona" "is" "quiet" "+")
triple10
((triple12 triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not rough.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "rough" "-")
triple11
Anne is quiet.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Anne" "is" "quiet" "+")
((triple5 triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Anne" "is" "quiet" "-")
((triple5 triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule2))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10 OR ((triple12 triple9) -> rule1))] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is quiet.[(((triple5 triple4) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple8) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple12 triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple5 triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1