Charlie is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Eric is kind and round. Being round makes him a bit blue. That man standing next to you with a big round body goes by the name of Gary. Harry's a round guy, and a red and green guy. A big person who also feels blue and a bit green are usually wearing red. Cold, green people have a habit of eating alot and looking quite round. Generally, round and kind people are big. Being big and blue is standard for being green.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Eric is big.
True
3
proof
[(((triple4 triple5) -> rule3))]
("Eric" "is" "big" "+")
((triple4 triple5) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule3))]
("Eric" "is" "big" "-")
((triple4 triple5) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
True
5
proof
[(((((triple4 triple5) -> rule3) triple6) -> rule4))]
("Eric" "is" "green" "+")
((((triple4 triple5) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not green.
False
5
inv-proof
[(((((triple4 triple5) -> rule3) triple6) -> rule4))]
("Eric" "is" "green" "-")
((((triple4 triple5) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
10
proof
[(((((triple4 triple5) -> rule3) triple6 ((((triple4 triple5) -> rule3) triple6) -> rule4)) -> rule1))]
("Eric" "is" "red" "+")
((((triple4 triple5) -> (rule3 % int3)) triple6 ((((triple4 triple5) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
10
inv-proof
[(((((triple4 triple5) -> rule3) triple6 ((((triple4 triple5) -> rule3) triple6) -> rule4)) -> rule1))]
("Eric" "is" "red" "-")
((((triple4 triple5) -> (rule3 % int3)) triple6 ((((triple4 triple5) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is blue.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Gary is big.[(triple8)] Gary is round.[(triple7)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Eric is big.[(((triple4 triple5) -> rule3))] @2: Eric is green.[(((((triple4 triple5) -> rule3) triple6) -> rule4))] @3: Eric is red.[(((((triple4 triple5) -> rule3) triple6 ((((triple4 triple5) -> rule3) triple6) -> rule4)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple5) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple4 triple5) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple4 triple5) -> (rule3 % int3)) triple6 ((((triple4 triple5) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Eric is kind and round; Being round makes him a bit blue.
That man standing next to you with a big round body goes by the name of Gary.
Harry's a round guy, and a red and green guy.
A big person who also feels blue and a bit green are usually wearing red.
Cold, green people have a habit of eating alot and looking quite round.
Generally, round and kind people are big.
Being big and blue is standard for being green.