Charlie, a blue and green creature, was also big, rough and kind to others. Even though he's a big dude, Fred is cold. Gary wears all blue. A kind person who is big in size is definitely young. A cold and blue appearing person will be young as well. When someone is kind and their cheeks flame red with embarrassment I know that they are young. A blue and red colored person that is young is also very cold. Unfortunately, all the young people who are considered green are all round. Anyone will tell you the kind and the big are also rough. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Charlie is not green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Charlie is young.
True
3
proof
[(((triple2 triple5) -> rule1))]
("Charlie" "is" "young" "+")
((triple2 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("Charlie" "is" "young" "-")
((triple2 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
True
5
proof
[(((triple3 ((triple2 triple5) -> rule1)) -> rule5))]
("Charlie" "is" "round" "+")
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((triple3 ((triple2 triple5) -> rule1)) -> rule5))]
("Charlie" "is" "round" "-")
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
True
10
proof
[(((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) triple1) -> rule7) OR ((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) ((triple5 triple2) -> rule6)) -> rule7))]
("Charlie" "is" "nice" "+")
((((triple2 triple5) -> (rule1 % int3)) ((triple3 ((triple2 triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple2 triple5) -> (rule1 % int4)) ((triple3 ((triple2 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not nice.
False
10
inv-proof
[(((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) triple1) -> rule7) OR ((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) ((triple5 triple2) -> rule6)) -> rule7))]
("Charlie" "is" "nice" "-")
((((triple2 triple5) -> (rule1 % int3)) ((triple3 ((triple2 triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple2 triple5) -> (rule1 % int4)) ((triple3 ((triple2 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1 OR ((triple5 triple2) -> rule6))] Fred is big.[(triple7)] Fred is cold.[(triple6)] Gary is blue.[(triple8)] @1: Charlie is young.[(((triple2 triple5) -> rule1))] @2: Charlie is round.[(((triple3 ((triple2 triple5) -> rule1)) -> rule5))] @3: Charlie is nice.[(((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) triple1) -> rule7) OR ((((triple2 triple5) -> rule1) ((triple3 ((triple2 triple5) -> rule1)) -> rule5) ((triple5 triple2) -> rule6)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
((triple5 triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple2 triple5) -> (rule1 % int3)) ((triple3 ((triple2 triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple2 triple5) -> (rule1 % int4)) ((triple3 ((triple2 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie, a blue and green creature, was also big, rough and kind to others.
Even though he's a big dude, Fred is cold.
Gary wears all blue.
A kind person who is big in size is definitely young.
A cold and blue appearing person will be young as well.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
A blue and red colored person that is young is also very cold.
Unfortunately, all the young people who are considered green are all round.
Anyone will tell you the kind and the big are also rough.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.