Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If something is kind and cold then it is red. All rough, cold things are blue. All quiet, rough things are blue. If something is kind then it is red. Young things are blue. All rough things are red.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is kind and cold then it is red.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All rough, cold things are blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All quiet, rough things are blue.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
@0: Fiona is blue.[(triple1 OR ((triple7) -> rule5) OR ((triple4 triple6) -> rule3) OR ((triple6 triple2) -> rule2))] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5 OR ((triple3) -> rule4) OR ((triple6) -> rule6) OR ((triple3 triple2) -> rule1))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple7) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple6 triple2) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple3) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7