Fiona is big. Fiona is smart. Fiona is white. Smart things are round. All green things are round. All blue, smart things are not round. If something is kind and big then it is round. If Fiona is green then Fiona is not kind. If something is blue and not big then it is white. All kind things are blue. If something is round then it is green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All blue, smart things are not round.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "-"))
If something is kind and big then it is round.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If Fiona is green then Fiona is not kind.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "kind" "-"))
If something is blue and not big then it is white.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "white" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "smart" "-")
triple2
Fiona is round.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "round" "+")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "round" "-")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
True
3
proof
[(((((triple2) -> rule1)) -> rule8))]
("Fiona" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule8))]
("Fiona" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not kind.
True
4
proof
[(((((((triple2) -> rule1)) -> rule8)) -> rule5))]
("Fiona" "is" "kind" "-")
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule8)) -> rule5))]
("Fiona" "is" "kind" "+")
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
@0: Fiona is big.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is round.[(((triple2) -> rule1))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule8))] @3: Fiona is not kind.[(((((((triple2) -> rule1)) -> rule8)) -> rule5))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not kind.
("Fiona" "is" "kind" "-")
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3