Even though he's young and green, Bob is rough. Charlie was born only a few years ago so he is young. Dave ate some rotten meat and now feels green. Gary has a round face and is very nice. If a person is blue, rough, and green, then they are also big. Among the green people who are young, the color blue is always part of them. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. People who are young and green are also kind. Young and nice people are ultimately cold. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple7)]
("Gary" "is" "nice" "-")
triple7
Bob is blue.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple3 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
True
6
proof
[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule1))]
("Bob" "is" "big" "+")
((((triple3 triple1) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not big.
False
6
inv-proof
[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule1))]
("Bob" "is" "big" "-")
((((triple3 triple1) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
11
proof
[(((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6))]
("Bob" "is" "nice" "+")
((((triple3 triple1) -> (rule2 % int3)) triple2 ((((triple3 triple1) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
11
inv-proof
[(((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6))]
("Bob" "is" "nice" "-")
((((triple3 triple1) -> (rule2 % int3)) triple2 ((((triple3 triple1) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
True
13
proof
[(((triple1 ((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "cold" "+")
((triple1 ((((triple3 triple1) -> (rule2 % int4)) triple2 ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not cold.
False
13
inv-proof
[(((triple1 ((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "cold" "-")
((triple1 ((((triple3 triple1) -> (rule2 % int4)) triple2 ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is young.[(triple4)] Dave is green.[(triple5)] Gary is nice.[(triple7)] Gary is round.[(triple6)] @1: Bob is blue.[(((triple3 triple1) -> rule2))] Bob is kind.[(((triple1 triple3) -> rule4))] @2: Bob is big.[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule1))] @3: Bob is nice.[(((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6))] @4: Bob is cold.[(((triple1 ((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple3 triple1) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3 triple1) -> (rule2 % int3)) triple2 ((((triple3 triple1) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((((triple3 triple1) -> (rule2 % int4)) triple2 ((((triple3 triple1) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Even though he's young and green, Bob is rough.
Charlie was born only a few years ago so he is young.
Dave ate some rotten meat and now feels green.
Gary has a round face and is very nice.
If a person is blue, rough, and green, then they are also big.
Among the green people who are young, the color blue is always part of them.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
People who are young and green are also kind.
Young and nice people are ultimately cold.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.