Fiona is blue. Fiona is white. Fiona is young. All big people are furry. All green, rough people are white. All white people are furry. If someone is furry then they are blue. If someone is big then they are young. Green people are big. If someone is big and blue then they are green. All white, blue people are green.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All green, rough people are white.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All white, blue people are green.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Fiona is green.
True
3
proof
[(((triple2 triple1) -> rule8) OR ((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8))]
("Fiona" "is" "green" "+")
((triple2 triple1) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule3) OR ((((((triple2 triple1) -> rule8)) -> rule6)) -> rule1))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple2 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
True
4
proof
[(((((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule6))]
("Fiona" "is" "big" "+")
((((triple2 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2 ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not big.
False
4
inv-proof
[(((((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule6))]
("Fiona" "is" "big" "-")
((((triple2 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2 ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
@0: Fiona is blue.[(triple1 OR ((((triple2) -> rule3)) -> rule4))] Fiona is white.[(triple2)] Fiona is young.[(triple3 OR ((((((triple2 triple1) -> rule8)) -> rule6)) -> rule5) OR ((((((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule6)) -> rule5))] @1: Fiona is furry.[(((triple2) -> rule3) OR ((((((triple2 triple1) -> rule8)) -> rule6)) -> rule1))] Fiona is green.[(((triple2 triple1) -> rule8) OR ((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8))] @2: Fiona is big.[(((((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
((((((triple2 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple2 ((((triple2) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple2 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((triple2 triple1) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2 ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4