The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. That man standing next to you with a big round body goes by the name of Charlie. Dave wears all blue. Gary ate some rotten meat and now feels green. Nice people are kind and rough when they are young. Find someone big, blue, and kind, and you'll see they are also quite young. A young person who is red a kind is also usually big. People who are nice and rough are looked at as kind. A big and round shaped, blue person will be cold for sure.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple6)]
("Charlie" "is" "big" "+")
triple6
Dave is not blue.
False
1
inv-proof
[(triple7)]
("Dave" "is" "blue" "-")
triple7
Bob is kind.
True
3
proof
[(((triple3 triple1) -> rule4))]
("Bob" "is" "kind" "+")
((triple3 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule4))]
("Bob" "is" "kind" "-")
((triple3 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
True
6
proof
[(((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1))]
("Bob" "is" "young" "+")
((triple3 ((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1))]
("Bob" "is" "young" "-")
((triple3 ((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
True
11
proof
[(((triple2 ((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1) ((triple3 triple1) -> rule4)) -> rule3))]
("Bob" "is" "big" "+")
((triple2 ((triple3 ((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple3 triple1) -> (rule4 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not big.
False
11
inv-proof
[(((triple2 ((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1) ((triple3 triple1) -> rule4)) -> rule3))]
("Bob" "is" "big" "-")
((triple2 ((triple3 ((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple3 triple1) -> (rule4 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is round.[(triple5)] Dave is blue.[(triple7)] Gary is green.[(triple8)] @1: Bob is kind.[(((triple3 triple1) -> rule4))] @2: Bob is young.[(((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1))] @3: Bob is big.[(((triple2 ((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1) ((triple3 triple1) -> rule4)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple2 ((triple3 ((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple3 triple1) -> (rule4 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been.
That man standing next to you with a big round body goes by the name of Charlie.
Dave wears all blue.
Gary ate some rotten meat and now feels green.
Nice people are kind and rough when they are young.
Find someone big, blue, and kind, and you'll see they are also quite young.
A young person who is red a kind is also usually big.
People who are nice and rough are looked at as kind.
A big and round shaped, blue person will be cold for sure.