Erin is blue. Erin is not cold. Erin is not rough. Erin is not white. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. Harry is big. Harry is kind. Harry is rough. Harry is white. If Fiona is white and Fiona is not big then Fiona is red. All cold, blue things are white. All red things are not white. If Erin is big then Erin is not kind. All kind things are blue. Red things are not cold. If something is big and not kind then it is rough. If Harry is not kind and Harry is not blue then Harry is big.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Fiona is white and Fiona is not big then Fiona is red.
((("Fiona" "is" "white" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "red" "+"))
All cold, blue things are white.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All red things are not white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "-"))
If Erin is big then Erin is not kind.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "kind" "-"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Red things are not cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
If something is big and not kind then it is rough.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "+"))
If Harry is not kind and Harry is not blue then Harry is big.
((("Harry" "is" "kind" "~") ("Harry" "is" "blue" "~")) -> ("Harry" "is" "big" "+"))
Erin is not rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "-")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule5))]
("Fiona" "is" "blue" "-")
triple5
((triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
True
2
proof
[(((triple7) -> rule3))]
("Fiona" "is" "white" "-")
((triple7) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is cold.
False
2
inv-proof
[(((triple7) -> rule6))]
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Erin is blue.[(triple1)] Erin is not cold.[(triple2)] Erin is not rough.[(triple3)] Erin is not white.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule5))] Fiona is kind.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Harry is big.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Fiona is not cold.[(((triple7) -> rule6))] Fiona is not white.[(((triple7) -> rule3))] Harry is blue.[(((triple10) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is not cold.
("Erin" "is" "cold" "-")
triple2
Erin is not rough.
("Erin" "is" "rough" "-")
triple3
Erin is not white.
("Erin" "is" "white" "-")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple7) -> (rule6 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((triple7) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1