Red Charlie is what folks call him, because he is quite red. Upon meeting Dave, you'll notice he's green and kind. Gary is rough and green, but he's also nice, kind and round. Even though Harry is young, he is still very round and still very red. A nice person who is green is feeling cold. A person with rough skin who has been standing in the cold will turn red. Round, rough people blue with sadness turn out to be green. If a person is red and green, then they will present as big. If a big person is cold and nice, then they are green. Young,cold and blue people are mostly round.
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Gary is cold.
True
3
proof
[(((triple8 triple6) -> rule1))]
("Gary" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("Gary" "is" "cold" "-")
((triple8 triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
True
5
proof
[(((((triple8 triple6) -> rule1) triple5) -> rule2))]
("Gary" "is" "red" "+")
((((triple8 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
5
inv-proof
[(((((triple8 triple6) -> rule1) triple5) -> rule2))]
("Gary" "is" "red" "-")
((((triple8 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
True
7
proof
[(((((((triple8 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
("Gary" "is" "big" "+")
((((((triple8 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not big.
False
7
inv-proof
[(((((((triple8 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
("Gary" "is" "big" "-")
((((((triple8 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is red.[(triple1)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5)] Gary is round.[(triple4)] Harry is red.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Gary is cold.[(((triple8 triple6) -> rule1))] @2: Gary is red.[(((((triple8 triple6) -> rule1) triple5) -> rule2))] @3: Gary is big.[(((((((triple8 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple8 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((((triple8 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Upon meeting Dave, you'll notice he's green and kind.
Gary is rough and green, but he's also nice, kind and round.
Even though Harry is young, he is still very round and still very red.
A nice person who is green is feeling cold.
A person with rough skin who has been standing in the cold will turn red.
Round, rough people blue with sadness turn out to be green.
If a person is red and green, then they will present as big.
If a big person is cold and nice, then they are green.
Young,cold and blue people are mostly round.