Dave is big and tends to wear red shirts. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. They always call him rough Gary. Harry is young, rough and green, but he is also kind and is red when embarrassed. When you meet big guys with red hair, then tend to be cold hearted. If someone is colored red but is cold, they tend to show a lot of green. If red and slightly green people are asked, they will tell you they feel blue. Some kind person that is round a blue will get embarrassed and turn red. Being big and blue is standard for being green.
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is blue.
True
1
proof
[(triple5)]
("Eric" "is" "blue" "+")
triple5
Harry is not rough.
False
1
inv-proof
[(triple8)]
("Harry" "is" "rough" "-")
triple8
Dave is cold.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Dave" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Dave" "is" "cold" "-")
((triple2 triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
True
5
proof
[(((triple1 ((triple2 triple1) -> rule1)) -> rule2))]
("Dave" "is" "green" "+")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple1 ((triple2 triple1) -> rule1)) -> rule2))]
("Dave" "is" "green" "-")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
True
7
proof
[(((((triple1 ((triple2 triple1) -> rule1)) -> rule2) triple1) -> rule3))]
("Dave" "is" "blue" "+")
((((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((((triple1 ((triple2 triple1) -> rule1)) -> rule2) triple1) -> rule3))]
("Dave" "is" "blue" "-")
((((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is big.[(triple2)] Dave is red.[(triple1)] Eric is blue.[(triple5)] Eric is green.[(triple4)] Eric is round.[(triple3)] Gary is rough.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Dave is cold.[(((triple2 triple1) -> rule1))] Harry is blue.[(((triple11 triple9) -> rule3))] @2: Dave is green.[(((triple1 ((triple2 triple1) -> rule1)) -> rule2))] @3: Dave is blue.[(((((triple1 ((triple2 triple1) -> rule1)) -> rule2) triple1) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big and tends to wear red shirts.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
They always call him rough Gary.
Harry is young, rough and green, but he is also kind and is red when embarrassed.
When you meet big guys with red hair, then tend to be cold hearted.
If someone is colored red but is cold, they tend to show a lot of green.
If red and slightly green people are asked, they will tell you they feel blue.
Some kind person that is round a blue will get embarrassed and turn red.
Being big and blue is standard for being green.