Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is white. Anne is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. If Fiona is blue then Fiona is round. If something is kind and green then it is white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is blue then Fiona is round.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "round" "+"))
If something is kind and green then it is white.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple10)]
("Fiona" "is" "kind" "+")
triple10
Anne is not white.
False
1
inv-proof
[(triple6 OR ((triple3 triple2) -> rule2))]
("Anne" "is" "white" "-")
triple6
((triple3 triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple3 triple2) -> rule2))] Anne is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is white.[(triple12 OR ((triple10 triple9) -> rule2))] @1: Fiona is round.[(((triple8) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple3 triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10 triple9) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1