Fiona is blue. Blue things are white. All big, kind things are not white. Big things are kind. If something is white then it is kind. If something is furry and white then it is not green. If something is kind then it is round. If Fiona is green and Fiona is white then Fiona is round. If something is white and round then it is furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All big, kind things are not white.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "-"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is furry and white then it is not green.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "-"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Fiona is green and Fiona is white then Fiona is round.
((("Fiona" "is" "green" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "round" "+"))
If something is white and round then it is furry.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is white.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "white" "-")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule4))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule4))]
("Fiona" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
True
4
proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "round" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not round.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "round" "-")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
@0: Fiona is blue.[(triple1)] @1: Fiona is white.[(((triple1) -> rule1))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule4))] @3: Fiona is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))] @4: Fiona is furry.[(((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule8))] @5: Fiona is not green.[(((((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule8) ((triple1) -> rule1)) -> rule5))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple1) -> (rule1 % int4)) ((((((triple1) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not green.
("Fiona" "is" "green" "-")
((((((triple1) -> (rule1 % int5)) ((((((triple1) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple1) -> (rule1 % int5))) -> (rule5 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5