Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. All red, cold things are nice.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All red, cold things are nice.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Fiona is round.
True
1
proof
[(triple10)]
("Fiona" "is" "round" "+")
triple10
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Fiona is nice.
True
3
proof
[(((triple9 triple7) -> rule1))]
("Fiona" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple9 triple7) -> rule1))]
("Fiona" "is" "nice" "-")
((triple9 triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple4 triple1) -> rule1))] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is nice.[(((triple9 triple7) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1