Eric had big, red, round cheeks. When you see Gary, you will notice he is cold, big and kind. Harry is big and red, but he's young and will grow out of it. Blue Christmas ornaments are also red. Cold people,though green and red,tend to be rough. A big, kind someone could also be cold in a green dress. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. Someone who is cold and big is also a red person.
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Gary is green.
True
4
proof
[(((triple6 triple4 triple5) -> rule3))]
("Gary" "is" "green" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple6 triple5) -> rule6))]
("Gary" "is" "red" "-")
((triple6 triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
True
9
proof
[(((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2))]
("Gary" "is" "rough" "+")
((triple5 ((triple6 triple4 triple5) -> (rule3 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not rough.
False
9
inv-proof
[(((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2))]
("Gary" "is" "rough" "-")
((triple5 ((triple6 triple4 triple5) -> (rule3 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
True
12
proof
[(((triple4 ((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2) triple5) -> rule4))]
("Gary" "is" "young" "+")
((triple4 ((triple5 ((triple6 triple4 triple5) -> (rule3 % int4)) ((triple6 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not young.
False
12
inv-proof
[(((triple4 ((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2) triple5) -> rule4))]
("Gary" "is" "young" "-")
((triple4 ((triple5 ((triple6 triple4 triple5) -> (rule3 % int4)) ((triple6 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Eric is big.[(triple3)] Eric is red.[(triple2)] Eric is round.[(triple1)] Gary is big.[(triple6)] Gary is cold.[(triple5)] Gary is kind.[(triple4)] Harry is big.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Gary is green.[(((triple6 triple4 triple5) -> rule3))] Gary is red.[(((triple6 triple5) -> rule6))] @2: Gary is rough.[(((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2))] @3: Gary is young.[(((triple4 ((triple5 ((triple6 triple4 triple5) -> rule3) ((triple6 triple5) -> rule6)) -> rule2) triple5) -> rule4))]
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple6 triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple5 ((triple6 triple4 triple5) -> (rule3 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple4 ((triple5 ((triple6 triple4 triple5) -> (rule3 % int4)) ((triple6 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Eric had big, red, round cheeks.
When you see Gary, you will notice he is cold, big and kind.
Harry is big and red, but he's young and will grow out of it.
Blue Christmas ornaments are also red.
Cold people,though green and red,tend to be rough.
A big, kind someone could also be cold in a green dress.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Someone who is cold and big is also a red person.