Fiona is rough. Fiona is smart. Fiona is white. All young, white things are not cold. All quiet things are cold. Round things are cold. If something is rough then it is quiet. All round, smart things are rough. All cold, rough things are not round. If something is rough and not white then it is not round. If something is white and not young then it is not smart.
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All young, white things are not cold.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "-"))
All quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is rough then it is quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
All round, smart things are rough.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All cold, rough things are not round.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
If something is rough and not white then it is not round.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "round" "-"))
If something is white and not young then it is not smart.
((("something" "is" "white" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "-"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "white" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple1) -> rule4))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule4))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple1) -> rule4)) -> rule2))]
("Fiona" "is" "cold" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule2))]
("Fiona" "is" "cold" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not round.
True
5
proof
[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]
("Fiona" "is" "round" "-")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is round.
False
5
inv-proof
[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]
("Fiona" "is" "round" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
@0: Fiona is rough.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule4))] @2: Fiona is cold.[(((((triple1) -> rule4)) -> rule2))] @3: Fiona is not round.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not round.
("Fiona" "is" "round" "-")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3