Anne is big. Anne is not furry. Anne is red. Anne is not round. Anne is not smart. Anne is not white. Anne is young. Fiona is big. Fiona is furry. Fiona is not smart. Fiona is white. Fiona is young. All white people are young. All smart people are young. If Fiona is young and Fiona is furry then Fiona is not red. All white people are not smart. White people are not round. Round, white people are red. If Fiona is furry then Fiona is not smart. If Anne is smart then Anne is not furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is not white.
("Anne" "is" "white" "-")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Fiona is young and Fiona is furry then Fiona is not red.
((("Fiona" "is" "young" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "red" "-"))
All white people are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
White people are not round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "-"))
Round, white people are red.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Fiona is furry then Fiona is not smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "-"))
If Anne is smart then Anne is not furry.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "furry" "-"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Fiona is smart.
False
1
inv-proof
[(triple10 OR ((triple11) -> rule4) OR ((triple9) -> rule7))]
("Fiona" "is" "smart" "+")
triple10
((triple11) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
((triple9) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not round.
True
2
proof
[(((triple11) -> rule5))]
("Fiona" "is" "round" "-")
((triple11) -> (rule5 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is red.
False
3
inv-proof
[(((triple12 triple9) -> rule3) OR ((((triple11) -> rule1) triple9) -> rule3))]
("Fiona" "is" "red" "+")
((triple12 triple9) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
((((triple11) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is not round.[(triple4)] Anne is not smart.[(triple5)] Anne is not white.[(triple6)] Anne is red.[(triple3)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is not smart.[(triple10 OR ((triple11) -> rule4) OR ((triple9) -> rule7))] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple11) -> rule1))] @1: Fiona is not red.[(((triple12 triple9) -> rule3) OR ((((triple11) -> rule1) triple9) -> rule3))] Fiona is not round.[(((triple11) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is not white.
("Anne" "is" "white" "-")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
((triple11) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
((triple9) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
((triple12 triple9) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
((((triple11) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not round.
("Fiona" "is" "round" "-")
((triple11) -> (rule5 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1