Upon meeting Alan, you'll notice he's green and kind. Bob is nice and kind despite the appearance of his cold, red skin. Charlie wears all blue. Dave is nice but he's pretty inexperienced, pretty green. He's too big to fit in the hot tub so he stays cold which makes him blue. Red and green people that are nice are cold to strangers. Red, kind, young people will be rough people, too. When someone feels cold, while being big and rough, they always turn out to be red. Young people that are cold and round are necessarily big. Anyone that is nice and kind and also green will usually be young as well. Big, green people that feel blue are mostly young. Julie is really nice to gardeners since she has a green thumb.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Dave is big.
True
1
proof
[(triple12)]
("Dave" "is" "big" "+")
triple12
Dave is not green.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule7))]
("Dave" "is" "green" "-")
triple9
((triple8) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is green.
True
2
proof
[(((triple4) -> rule7))]
("Bob" "is" "green" "+")
((triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is not young.
False
4
inv-proof
[(((triple12 triple9 triple11) -> rule6) OR ((triple12 ((triple8) -> rule7) triple11) -> rule6))]
("Dave" "is" "young" "-")
((triple12 triple9 triple11) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple12 ((triple8) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is young.
True
5
proof
[(((((triple4) -> rule7) triple4 triple5) -> rule5))]
("Bob" "is" "young" "+")
((((triple4) -> (rule7 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not young.
False
5
inv-proof
[(((((triple4) -> rule7) triple4 triple5) -> rule5))]
("Bob" "is" "young" "-")
((((triple4) -> (rule7 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
True
8
proof
[(((((((triple4) -> rule7) triple4 triple5) -> rule5) triple5 triple3) -> rule2))]
("Bob" "is" "rough" "+")
((((((triple4) -> (rule7 % int3)) triple4 triple5) -> (rule5 % int2)) triple5 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((((((triple4) -> rule7) triple4 triple5) -> rule5) triple5 triple3) -> rule2))]
("Bob" "is" "rough" "-")
((((((triple4) -> (rule7 % int3)) triple4 triple5) -> (rule5 % int2)) triple5 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple6 OR ((triple3 triple4 ((triple4) -> rule7)) -> rule1))] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is blue.[(triple7)] Dave is big.[(triple12)] Dave is blue.[(triple11)] Dave is cold.[(triple10)] Dave is green.[(triple9 OR ((triple8) -> rule7))] Dave is nice.[(triple8)] @1: Bob is green.[(((triple4) -> rule7))] Dave is young.[(((triple12 triple9 triple11) -> rule6) OR ((triple12 ((triple8) -> rule7) triple11) -> rule6))] @2: Bob is young.[(((((triple4) -> rule7) triple4 triple5) -> rule5))] @3: Bob is rough.[(((((((triple4) -> rule7) triple4 triple5) -> rule5) triple5 triple3) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
((triple3 triple4 ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple8) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
((triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple12 triple9 triple11) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple12 ((triple8) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple4) -> (rule7 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple4) -> (rule7 % int3)) triple4 triple5) -> (rule5 % int2)) triple5 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
Bob is nice and kind despite the appearance of his cold, red skin.
Charlie wears all blue.
Dave is nice but he's pretty inexperienced, pretty green; He's too big to fit in the hot tub so he stays cold which makes him blue.
Red and green people that are nice are cold to strangers.
Red, kind, young people will be rough people, too.
When someone feels cold, while being big and rough, they always turn out to be red.
Young people that are cold and round are necessarily big.
Anyone that is nice and kind and also green will usually be young as well.
Big, green people that feel blue are mostly young.
Julie is really nice to gardeners since she has a green thumb.