Bob always goes out of his way to show that he is kind to people. Young Charlie got into a fight that left him with red sores on his face. Dave, the round one, is cold in Alaska because he's green and rough around the edges. Gary is somewhat red,he is also very nice and kind, he is very big though. A cold and young aged person will be big for sure. People who are rough, round in shape, and big in stature are usuallu blue in color. Pick someone blue, kind and big, and they are certain to be green as well. Those who are round and cold are young. A person who is young and cold and green is kind.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Dave is young.
True
3
proof
[(((triple7 triple4) -> rule4))]
("Dave" "is" "young" "+")
((triple7 triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple7 triple4) -> rule4))]
("Dave" "is" "young" "-")
((triple7 triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
True
5
proof
[(((((triple7 triple4) -> rule4) triple7) -> rule1))]
("Dave" "is" "big" "+")
((((triple7 triple4) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple7 triple4) -> rule4) triple7) -> rule1))]
("Dave" "is" "big" "-")
((((triple7 triple4) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
True
8
proof
[(((triple5 triple4 ((((triple7 triple4) -> rule4) triple7) -> rule1)) -> rule2))]
("Dave" "is" "blue" "+")
((triple5 triple4 ((((triple7 triple4) -> (rule4 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not blue.
False
8
inv-proof
[(((triple5 triple4 ((((triple7 triple4) -> rule4) triple7) -> rule1)) -> rule2))]
("Dave" "is" "blue" "-")
((triple5 triple4 ((((triple7 triple4) -> (rule4 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Gary is big.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8)] @1: Dave is young.[(((triple7 triple4) -> rule4))] @2: Dave is big.[(((((triple7 triple4) -> rule4) triple7) -> rule1))] Dave is kind.[(((triple6 ((triple7 triple4) -> rule4) triple7) -> rule5))] @3: Dave is blue.[(((triple5 triple4 ((((triple7 triple4) -> rule4) triple7) -> rule1)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
((triple7 triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple7 triple4) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 ((triple7 triple4) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple5 triple4 ((((triple7 triple4) -> (rule4 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Young Charlie got into a fight that left him with red sores on his face.
Dave, the round one, is cold in Alaska because he's green and rough around the edges.
Gary is somewhat red,he is also very nice and kind, he is very big though.
A cold and young aged person will be big for sure.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Pick someone blue, kind and big, and they are certain to be green as well.
Those who are round and cold are young.
A person who is young and cold and green is kind.