Charlie was feeling red with anger after the fight, but he was still a nice but big human being. Eric was quite young and green. He was also cold and big. Big, red Gary is quite kind. Harry is a nice person who is red because he has a rash. Whenever you are around kind and green people, you will notice they are very red. Despite being too big with bright green skin and freezing cold, these people have always been kind. Don't be surprised to hear that all nice, kind folks are in fact rough. Young people tend to be blue all the time and rough. You can find someone that is young and rough but kind and nice. When anyone is young, red and green, you know they'll also be blue. Blue, red and nice people are always big, too.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Eric is big.
True
1
proof
[(triple7)]
("Eric" "is" "big" "+")
triple7
Eric is not cold.
False
1
inv-proof
[(triple6)]
("Eric" "is" "cold" "-")
triple6
Eric is kind.
True
4
proof
[(((triple7 triple5 triple6) -> rule2))]
("Eric" "is" "kind" "+")
((triple7 triple5 triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
4
inv-proof
[(((triple7 triple5 triple6) -> rule2))]
("Eric" "is" "kind" "-")
((triple7 triple5 triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
True
6
proof
[(((((triple7 triple5 triple6) -> rule2) triple5) -> rule1))]
("Eric" "is" "red" "+")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not red.
False
6
inv-proof
[(((((triple7 triple5 triple6) -> rule2) triple5) -> rule1))]
("Eric" "is" "red" "-")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
True
9
proof
[(((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6))]
("Eric" "is" "blue" "+")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple4 triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not blue.
False
9
inv-proof
[(((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6))]
("Eric" "is" "blue" "-")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple4 triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is rough.
True
11
proof
[(((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4))]
("Eric" "is" "rough" "+")
((((((((triple7 triple5 triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) triple4 triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is not rough.
False
11
inv-proof
[(((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4))]
("Eric" "is" "rough" "-")
((((((((triple7 triple5 triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) triple4 triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is nice.
True
17
proof
[(((triple4 ((triple7 triple5 triple6) -> rule2) ((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4)) -> rule5))]
("Eric" "is" "nice" "+")
((triple4 ((triple7 triple5 triple6) -> (rule2 % int5)) ((((((((triple7 triple5 triple6) -> (rule2 % int5)) triple5) -> (rule1 % int4)) triple4 triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
Eric is not nice.
False
17
inv-proof
[(((triple4 ((triple7 triple5 triple6) -> rule2) ((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4)) -> rule5))]
("Eric" "is" "nice" "-")
((triple4 ((triple7 triple5 triple6) -> (rule2 % int5)) ((((((((triple7 triple5 triple6) -> (rule2 % int5)) triple5) -> (rule1 % int4)) triple4 triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is big.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Harry is nice.[(triple12)] Harry is red.[(triple11)] @1: Eric is kind.[(((triple7 triple5 triple6) -> rule2))] @2: Eric is red.[(((((triple7 triple5 triple6) -> rule2) triple5) -> rule1))] @3: Eric is blue.[(((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6))] @4: Eric is rough.[(((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4))] @5: Eric is nice.[(((triple4 ((triple7 triple5 triple6) -> rule2) ((((((((triple7 triple5 triple6) -> rule2) triple5) -> rule1) triple4 triple5) -> rule6) triple4) -> rule4)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 triple5 triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple4 triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((((((((triple7 triple5 triple6) -> (rule2 % int4)) triple5) -> (rule1 % int3)) triple4 triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((triple7 triple5 triple6) -> (rule2 % int5)) ((((((((triple7 triple5 triple6) -> (rule2 % int5)) triple5) -> (rule1 % int4)) triple4 triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
Charlie was feeling red with anger after the fight, but he was still a nice but big human being.
Eric was quite young and green; He was also cold and big.
Big, red Gary is quite kind.
Harry is a nice person who is red because he has a rash.
Whenever you are around kind and green people, you will notice they are very red.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Young people tend to be blue all the time and rough.
You can find someone that is young and rough but kind and nice.
When anyone is young, red and green, you know they'll also be blue.
Blue, red and nice people are always big, too.