Alan is green, which is a possible explanation for why he is so nice. Young Bob got into a fight that left him with red sores on his face. Charlie always goes out of his way to show that he is kind to people. Even though he's a big dude, Eric is cold. A round shaped and rough person will be blue as well. A round shaped and red person is definitely nice. Most green and round people,though big are quite young. A person that is the color red will definitely be round shaped. A rough and round shaped person will be nice and also young. A nice young person will be rough in texture.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is kind.
True
1
proof
[(triple5)]
("Charlie" "is" "kind" "+")
triple5
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Bob is round.
True
2
proof
[(((triple4) -> rule4))]
("Bob" "is" "round" "+")
((triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple4) -> rule4))]
("Bob" "is" "round" "-")
((triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
4
proof
[(((((triple4) -> rule4) triple4) -> rule2))]
("Bob" "is" "nice" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
4
inv-proof
[(((((triple4) -> rule4) triple4) -> rule2))]
("Bob" "is" "nice" "-")
((((triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
True
6
proof
[(((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6))]
("Bob" "is" "rough" "+")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not rough.
False
6
inv-proof
[(((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6))]
("Bob" "is" "rough" "-")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
True
9
proof
[(((((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule1))]
("Bob" "is" "blue" "+")
((((triple3 ((((triple4) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not blue.
False
9
inv-proof
[(((((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule1))]
("Bob" "is" "blue" "-")
((((triple3 ((((triple4) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is green.[(triple2)] Alan is nice.[(triple1)] Bob is red.[(triple4)] Bob is young.[(triple3)] Charlie is kind.[(triple5)] Eric is big.[(triple7)] Eric is cold.[(triple6)] @1: Bob is round.[(((triple4) -> rule4))] @2: Bob is nice.[(((((triple4) -> rule4) triple4) -> rule2))] @3: Bob is rough.[(((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6))] @4: Bob is blue.[(((((triple3 ((((triple4) -> rule4) triple4) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
((triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((triple3 ((((triple4) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Alan is green, which is a possible explanation for why he is so nice.
Young Bob got into a fight that left him with red sores on his face.
Charlie always goes out of his way to show that he is kind to people.
Even though he's a big dude, Eric is cold.
A round shaped and rough person will be blue as well.
A round shaped and red person is definitely nice.
Most green and round people,though big are quite young.
A person that is the color red will definitely be round shaped.
A rough and round shaped person will be nice and also young.
A nice young person will be rough in texture.