Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Erin is blue. Erin is kind. Erin is round. Erin is white. Fiona is cold. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. If Fiona is red and Fiona is kind then Fiona is blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is red and Fiona is kind then Fiona is blue.
((("Fiona" "is" "red" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "blue" "+"))
Fiona is smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "+")
triple14
Fiona is not white.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "white" "-")
triple15
Fiona is blue.
True
3
proof
[(((triple13 triple12) -> rule1))]
("Fiona" "is" "blue" "+")
((triple13 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple13 triple12) -> rule1))]
("Fiona" "is" "blue" "-")
((triple13 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is blue.[(((triple13 triple12) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple13 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1