Charlie is blue. Charlie is not cold. Charlie is kind. Charlie is rough. Gary is blue. Gary is cold. Harry is not cold. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. All round people are nice. If someone is blue then they are round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is not cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "-")
triple2
Gary is not blue.
False
1
inv-proof
[(triple5)]
("Gary" "is" "blue" "-")
triple5
Charlie is round.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "round" "+")
((triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple5) -> rule2))]
("Gary" "is" "round" "-")
((triple5) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule1))]
("Gary" "is" "nice" "-")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is rough.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple11) -> rule1))] Harry is not cold.[(triple7)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is round.[(((triple1) -> rule2))] Gary is round.[(((triple5) -> rule2))] @2: Charlie is nice.[(((((triple1) -> rule2)) -> rule1))] Gary is nice.[(((((triple5) -> rule2)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
((triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2