Charlie is rather rough but nice, he is a little green, cold and blue. Big Eric is still young so it's easy for him to be kind. Fred ate some rotten meat and now feels green. Gary ate some rotten meat and now feels green. Cold and rough people will also surely be round shaped. Kind big people are green and young. Despite being too big with bright green skin and freezing cold, these people have always been kind. A green, round, blue male or female will be a big male or female, too.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Charlie is round.
True
3
proof
[(((triple4 triple1) -> rule1))]
("Charlie" "is" "round" "+")
((triple4 triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Charlie" "is" "round" "-")
((triple4 triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
True
6
proof
[(((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4))]
("Charlie" "is" "big" "+")
((triple3 ((triple4 triple1) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not big.
False
6
inv-proof
[(((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4))]
("Charlie" "is" "big" "-")
((triple3 ((triple4 triple1) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
True
9
proof
[(((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple3 ((triple4 triple1) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not kind.
False
9
inv-proof
[(((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple3 ((triple4 triple1) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
True
17
proof
[(((((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3) triple3 ((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4)) -> rule2))]
("Charlie" "is" "young" "+")
((((((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not young.
False
17
inv-proof
[(((((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3) triple3 ((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4)) -> rule2))]
("Charlie" "is" "young" "-")
((((((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is nice.[(triple2)] Charlie is rough.[(triple1)] Eric is big.[(triple8)] Eric is kind.[(triple7)] Eric is young.[(triple6)] Fred is green.[(triple9)] Gary is green.[(triple10)] @1: Charlie is round.[(((triple4 triple1) -> rule1))] @2: Charlie is big.[(((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4))] @3: Charlie is kind.[(((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3))] @4: Charlie is young.[(((((((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4) triple3 triple4) -> rule3) triple3 ((triple3 ((triple4 triple1) -> rule1) triple5) -> rule4)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 ((triple4 triple1) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3 ((triple4 triple1) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple3 ((triple4 triple1) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rather rough but nice, he is a little green, cold and blue.
Big Eric is still young so it's easy for him to be kind.
Fred ate some rotten meat and now feels green.
Gary ate some rotten meat and now feels green.
Cold and rough people will also surely be round shaped.
Kind big people are green and young.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
A green, round, blue male or female will be a big male or female, too.