Bob is not big. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is not young. Charlie is big. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. Harry is big. Harry is cold. Harry is red. Harry is round. Harry is young. If something is big and kind then it is not cold. If something is rough and not cold then it is red.
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is big and kind then it is not cold.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If something is rough and not cold then it is red.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is not cold.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Charlie" "is" "cold" "-")
((triple7 triple8) -> (rule1 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is cold.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Charlie" "is" "cold" "+")
((triple7 triple8) -> (rule1 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is red.
True
5
proof
[(((triple9 ((triple7 triple8) -> rule1)) -> rule2))]
("Charlie" "is" "red" "+")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2
Charlie is not red.
False
5
inv-proof
[(((triple9 ((triple7 triple8) -> rule1)) -> rule2))]
("Charlie" "is" "red" "-")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1)] Bob is not young.[(triple6)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Charlie is big.[(triple7)] Charlie is kind.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Charlie is young.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Charlie is not cold.[(((triple7 triple8) -> rule1))] @2: Charlie is red.[(((triple9 ((triple7 triple8) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Charlie is not cold.
("Charlie" "is" "cold" "-")
((triple7 triple8) -> (rule1 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2