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.
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.