Upon meeting Alan, you'll notice he's green and kind. Bob is big and dresses in blue. Eric is blue from ink he spilled on himself while being kind and helping some children paint. The cold, nice, kind man with a round body is known as Fred. Cold, rough people are always green. Look for the blue and green people, they are kind and will give you directions if you're lost. Nice, green people that are somewhat round are big through the shoulders. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. If a rather cold person is also kind then they are probably rough.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple10)]
("Fred" "is" "cold" "+")
triple10
Fred is not cold.
False
1
inv-proof
[(triple10)]
("Fred" "is" "cold" "-")
triple10
Fred is rough.
True
3
proof
[(((triple10 triple9) -> rule5))]
("Fred" "is" "rough" "+")
((triple10 triple9) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple10 triple9) -> rule5))]
("Fred" "is" "rough" "-")
((triple10 triple9) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
True
5
proof
[(((triple10 ((triple10 triple9) -> rule5)) -> rule1))]
("Fred" "is" "green" "+")
((triple10 ((triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not green.
False
5
inv-proof
[(((triple10 ((triple10 triple9) -> rule5)) -> rule1))]
("Fred" "is" "green" "-")
((triple10 ((triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
True
8
proof
[(((((triple10 ((triple10 triple9) -> rule5)) -> rule1) triple8 triple7) -> rule3))]
("Fred" "is" "big" "+")
((((triple10 ((triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple8 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not big.
False
8
inv-proof
[(((((triple10 ((triple10 triple9) -> rule5)) -> rule1) triple8 triple7) -> rule3))]
("Fred" "is" "big" "-")
((((triple10 ((triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple8 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is big.[(triple4)] Bob is blue.[(triple3)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Fred is cold.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7)] @1: Fred is rough.[(((triple10 triple9) -> rule5))] @2: Fred is green.[(((triple10 ((triple10 triple9) -> rule5)) -> rule1))] @3: Fred is big.[(((((triple10 ((triple10 triple9) -> rule5)) -> rule1) triple8 triple7) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple10 triple9) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple10 ((triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple10 ((triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple8 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
Bob is big and dresses in blue.
Eric is blue from ink he spilled on himself while being kind and helping some children paint.
The cold, nice, kind man with a round body is known as Fred.
Cold, rough people are always green.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Nice, green people that are somewhat round are big through the shoulders.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
If a rather cold person is also kind then they are probably rough.