Alan was feeling red with anger after the fight, but he was still a nice but big human being. Charlie is known to be rough and green. Eric is blue because he is cold. His skin is red and rough but that doesn't matter because he is also very young. Harry is both young and fairly round in size. If smeone has a blue and green color, then they are young and probably kind. People with blue and red skin color are also green. A kind person who is green is usually round. Big, green people that feel blue are mostly young. A big, young aged person that is green will be round shaped. They found the ones that were round, blue, and green to be nice.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
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 big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is round.
True
1
proof
[(triple12)]
("Harry" "is" "round" "+")
triple12
Harry is not young.
False
1
inv-proof
[(triple11)]
("Harry" "is" "young" "-")
triple11
Eric is green.
True
3
proof
[(((triple10 triple8) -> rule2))]
("Eric" "is" "green" "+")
((triple10 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple10 triple8) -> rule2))]
("Eric" "is" "green" "-")
((triple10 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
True
6
proof
[(((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1))]
("Eric" "is" "kind" "+")
((triple10 ((triple10 triple8) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1))]
("Eric" "is" "kind" "-")
((triple10 ((triple10 triple8) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
True
10
proof
[(((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3))]
("Eric" "is" "round" "+")
((((triple10 ((triple10 triple8) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple10 triple8) -> (rule2 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not round.
False
10
inv-proof
[(((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3))]
("Eric" "is" "round" "-")
((((triple10 ((triple10 triple8) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple10 triple8) -> (rule2 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is nice.
True
15
proof
[(((((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3) triple10 ((triple10 triple8) -> rule2)) -> rule6))]
("Eric" "is" "nice" "+")
((((((triple10 ((triple10 triple8) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple10 triple8) -> (rule2 % int4))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not nice.
False
15
inv-proof
[(((((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3) triple10 ((triple10 triple8) -> rule2)) -> rule6))]
("Eric" "is" "nice" "-")
((((((triple10 ((triple10 triple8) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple10 triple8) -> (rule2 % int4))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple5)] Charlie is rough.[(triple4)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Harry is round.[(triple12)] Harry is young.[(triple11)] @1: Eric is green.[(((triple10 triple8) -> rule2))] @2: Eric is kind.[(((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1))] @3: Eric is round.[(((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3))] @4: Eric is nice.[(((((((triple10 ((triple10 triple8) -> rule2) triple6) -> rule1) ((triple10 triple8) -> rule2)) -> rule3) triple10 ((triple10 triple8) -> rule2)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
((triple10 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple10 ((triple10 triple8) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple10 ((triple10 triple8) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple10 triple8) -> (rule2 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((((((triple10 ((triple10 triple8) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple10 triple8) -> (rule2 % int4))) -> (rule3 % int2)) triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan was feeling red with anger after the fight, but he was still a nice but big human being.
Charlie is known to be rough and green.
Eric is blue because he is cold; His skin is red and rough but that doesn't matter because he is also very young.
Harry is both young and fairly round in size.
If smeone has a blue and green color, then they are young and probably kind.
People with blue and red skin color are also green.
A kind person who is green is usually round.
Big, green people that feel blue are mostly young.
A big, young aged person that is green will be round shaped.
They found the ones that were round, blue, and green to be nice.