People think that Bob is round. This might be because he is young and blue. The cold, nice, kind man with a round body is known as Eric. Fred is round shaped and green colored. Gary is a red fellow who habitually looks blue. He's often cold. Big and round people can't help but be cold all of the time. When a nice blue person is also red, they get called rough. Look for the blue and green people, they are kind and will give you directions if you're lost. When someone is young, they can be cold but kind. Young people tend to be blue all the time and rough. There are so many rough, young people and for some reason they are all big too. Blue and red people who are young always have rough skin.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Eric is not cold.
False
1
inv-proof
[(triple7)]
("Eric" "is" "cold" "-")
triple7
Bob is rough.
True
3
proof
[(((triple3 triple1) -> rule5))]
("Bob" "is" "rough" "+")
((triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple3 triple1) -> rule5))]
("Bob" "is" "rough" "-")
((triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
True
5
proof
[(((triple1 ((triple3 triple1) -> rule5)) -> rule6))]
("Bob" "is" "big" "+")
((triple1 ((triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple1 ((triple3 triple1) -> rule5)) -> rule6))]
("Bob" "is" "big" "-")
((triple1 ((triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
True
7
proof
[(((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1))]
("Bob" "is" "cold" "+")
((((triple1 ((triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1))]
("Bob" "is" "cold" "-")
((((triple1 ((triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
True
9
proof
[(((triple1 ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1)) -> rule4))]
("Bob" "is" "kind" "+")
((triple1 ((((triple1 ((triple3 triple1) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not kind.
False
9
inv-proof
[(((triple1 ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1)) -> rule4))]
("Bob" "is" "kind" "-")
((triple1 ((((triple1 ((triple3 triple1) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is blue.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Fred is green.[(triple9)] Fred is round.[(triple8)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is red.[(triple10)] @1: Bob is rough.[(((triple3 triple1) -> rule5))] @2: Bob is big.[(((triple1 ((triple3 triple1) -> rule5)) -> rule6))] @3: Bob is cold.[(((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1))] @4: Bob is kind.[(((triple1 ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule1)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1 ((triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 ((((triple1 ((triple3 triple1) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
People think that Bob is round; This might be because he is young and blue.
The cold, nice, kind man with a round body is known as Eric.
Fred is round shaped and green colored.
Gary is a red fellow who habitually looks blue; He's often cold.
Big and round people can't help but be cold all of the time.
When a nice blue person is also red, they get called rough.
Look for the blue and green people, they are kind and will give you directions if you're lost.
When someone is young, they can be cold but kind.
Young people tend to be blue all the time and rough.
There are so many rough, young people and for some reason they are all big too.
Blue and red people who are young always have rough skin.