Red Alan is what folks call him, because he is quite red. Bob's a young guy. He's a cold, blue and big guy, too. Eric loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Being round and nice automatically means a person is kind. A rough textured and cold person is definitely young. Young and rough green people, have no choice but to be red. Big people are also round people. If someone is feeling blue and round in shape they are usually nice.
Alan is red.
("Alan" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple4)]
("Bob" "is" "blue" "-")
triple4
Eric is young.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Eric" "is" "young" "+")
((triple7 triple8) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Eric" "is" "young" "-")
((triple7 triple8) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is nice.
True
4
proof
[(((triple4 ((triple5) -> rule4)) -> rule5))]
("Bob" "is" "nice" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
4
inv-proof
[(((triple4 ((triple5) -> rule4)) -> rule5))]
("Bob" "is" "nice" "-")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
True
7
proof
[(((((triple5) -> rule4) ((triple4 ((triple5) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "kind" "+")
((((triple5) -> (rule4 % int3)) ((triple4 ((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not kind.
False
7
inv-proof
[(((((triple5) -> rule4) ((triple4 ((triple5) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "kind" "-")
((((triple5) -> (rule4 % int3)) ((triple4 ((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Alan" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is red.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is young.[(triple2)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] @1: Bob is round.[(((triple5) -> rule4))] Eric is young.[(((triple7 triple8) -> rule2))] @2: Bob is nice.[(((triple4 ((triple5) -> rule4)) -> rule5))] @3: Bob is kind.[(((((triple5) -> rule4) ((triple4 ((triple5) -> rule4)) -> rule5)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
((triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple7 triple8) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple5) -> (rule4 % int3)) ((triple4 ((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Red Alan is what folks call him, because he is quite red.
Bob's a young guy; He's a cold, blue and big guy, too.
Eric loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Being round and nice automatically means a person is kind.
A rough textured and cold person is definitely young.
Young and rough green people, have no choice but to be red.
Big people are also round people.
If someone is feeling blue and round in shape they are usually nice.