Bob is big. Bob is blue. Bob is cold. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is white. Gary is young. If someone is big and nice then they are white. Round people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and nice then they are white.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Gary is big.
True
2
proof
[(((triple14) -> rule2))]
("Gary" "is" "big" "+")
((triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple8) -> rule2))]
("Charlie" "is" "big" "-")
((triple8) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1 OR ((triple4) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((((triple8) -> rule2) triple7) -> rule1))] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((((triple14) -> rule2) triple13) -> rule1))] Gary is young.[(triple16)] @1: Charlie is big.[(((triple8) -> rule2))] Gary is big.[(((triple14) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((((triple8) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((((triple14) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple16
Charlie is big.
("Charlie" "is" "big" "+")
((triple8) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1