Red Charlie is what folks call him, because he is quite red. Even though he's a big dude, Dave is cold. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Harry is a nice person who is red because he has a rash. A kind and big person is young. A person with rough skin who has been standing in the cold will turn red. Look for the blue and green people, they are kind and will give you directions if you're lost. Big and round people who arent cold, tend to be very kind. You can count on someone who is red and green being young. Kind young people that are still blue are generally round shaped. Big people are also round people.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Harry is nice.
True
1
proof
[(triple8)]
("Harry" "is" "nice" "+")
triple8
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Dave is round.
True
2
proof
[(((triple3) -> rule7))]
("Dave" "is" "round" "+")
((triple3) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule7))]
("Dave" "is" "round" "-")
((triple3) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
True
5
proof
[(((triple2 triple3 ((triple3) -> rule7)) -> rule4))]
("Dave" "is" "kind" "+")
((triple2 triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((triple2 triple3 ((triple3) -> rule7)) -> rule4))]
("Dave" "is" "kind" "-")
((triple2 triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
True
7
proof
[(((triple3 ((triple2 triple3 ((triple3) -> rule7)) -> rule4)) -> rule1))]
("Dave" "is" "young" "+")
((triple3 ((triple2 triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not young.
False
7
inv-proof
[(((triple3 ((triple2 triple3 ((triple3) -> rule7)) -> rule4)) -> rule1))]
("Dave" "is" "young" "-")
((triple3 ((triple2 triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is red.[(triple1)] Dave is big.[(triple3)] Dave is cold.[(triple2)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is round.[(triple4)] Harry is nice.[(triple8)] Harry is red.[(triple7)] @1: Dave is round.[(((triple3) -> rule7))] Eric is kind.[(((triple6 triple5) -> rule3))] @2: Dave is kind.[(((triple2 triple3 ((triple3) -> rule7)) -> rule4))] @3: Dave is young.[(((triple3 ((triple2 triple3 ((triple3) -> rule7)) -> rule4)) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6 triple5) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple2 triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple3 ((triple2 triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Even though he's a big dude, Dave is cold.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Harry is a nice person who is red because he has a rash.
A kind and big person is young.
A person with rough skin who has been standing in the cold will turn red.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Big and round people who arent cold, tend to be very kind.
You can count on someone who is red and green being young.
Kind young people that are still blue are generally round shaped.
Big people are also round people.