Charlie is young, but very kind to others. Charlie is big, with round features. Dave gets red when he is mad and tends to act very cold. Gary is blue from ink he spilled on himself while being kind and helping some children paint. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. When young, round people are cold it their skin gets a blue tinge to it. People with red hair, rough skin and big teeth manage to be nice to people. Pick someone blue, kind and big, and they are certain to be green as well. People who are rough are young. Big and round people can't help but be cold all of the time. Big people who are round in stature and also feel rough are often cold to other people. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple9)]
("Harry" "is" "kind" "-")
triple9
Charlie is cold.
True
3
proof
[(((triple4 triple2) -> rule5))]
("Charlie" "is" "cold" "+")
((triple4 triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple4 triple2) -> rule5))]
("Charlie" "is" "cold" "-")
((triple4 triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
True
6
proof
[(((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1))]
("Charlie" "is" "blue" "+")
((triple1 triple2 ((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not blue.
False
6
inv-proof
[(((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1))]
("Charlie" "is" "blue" "-")
((triple1 triple2 ((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
True
9
proof
[(((((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1) triple3 triple4) -> rule3))]
("Charlie" "is" "green" "+")
((((triple1 triple2 ((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not green.
False
9
inv-proof
[(((((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1) triple3 triple4) -> rule3))]
("Charlie" "is" "green" "-")
((((triple1 triple2 ((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple6)] Dave is red.[(triple5)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Charlie is cold.[(((triple4 triple2) -> rule5))] @2: Charlie is blue.[(((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1))] @3: Charlie is green.[(((((triple1 triple2 ((triple4 triple2) -> rule5)) -> rule1) triple3 triple4) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1 triple2 ((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple1 triple2 ((triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young, but very kind to others; Charlie is big, with round features.
Dave gets red when he is mad and tends to act very cold.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
When young, round people are cold it their skin gets a blue tinge to it.
People with red hair, rough skin and big teeth manage to be nice to people.
Pick someone blue, kind and big, and they are certain to be green as well.
People who are rough are young.
Big and round people can't help but be cold all of the time.
Big people who are round in stature and also feel rough are often cold to other people.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.