Fiona is cold. Fiona is furry. Fiona is young. All nice, furry things are young. All cold, kind things are young. If something is nice and kind then it is white. If something is quiet then it is white. If something is cold then it is furry. If something is quiet and kind then it is nice. If something is furry and nice then it is quiet. If Fiona is cold then Fiona is nice.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All nice, furry things are young.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All cold, kind things are young.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is nice and kind then it is white.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and kind then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is furry and nice then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is cold then Fiona is nice.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is nice.
True
2
proof
[(((triple1) -> rule8))]
("Fiona" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple1) -> rule8))]
("Fiona" "is" "nice" "-")
((triple1) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
True
4
proof
[(((triple2 ((triple1) -> rule8)) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7))]
("Fiona" "is" "quiet" "+")
((triple2 ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not quiet.
False
4
inv-proof
[(((triple2 ((triple1) -> rule8)) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7))]
("Fiona" "is" "quiet" "-")
((triple2 ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
True
5
proof
[(((((triple2 ((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7)) -> rule4))]
("Fiona" "is" "white" "+")
((((triple2 ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not white.
False
5
inv-proof
[(((((triple2 ((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7)) -> rule4))]
("Fiona" "is" "white" "-")
((((triple2 ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple1) -> rule5))] Fiona is young.[(triple3 OR ((((triple1) -> rule8) triple2) -> rule1) OR ((((triple1) -> rule8) ((triple1) -> rule5)) -> rule1))] @1: Fiona is nice.[(((triple1) -> rule8))] @2: Fiona is quiet.[(((triple2 ((triple1) -> rule8)) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7))] @3: Fiona is white.[(((((triple2 ((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7)) -> rule4))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple3
((((triple1) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2 ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((triple2 ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4