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