Charlie is a nice person who is red because he has a rash. Big Eric, the most blue guy I know while also being cold. Harry is colored blue and red. He is also kind and cold to the touch. Blue Christmas ornaments are also red. An individual that fits the nice, red, and kind description will fit the description of big, too. A nice and colored blue person will be rather big. If you are green you are also kind. Anyone with red and blue coloration also has green coloration. Red and kind people always seem to be big as well. A young, green person who is cold is rough around the edges.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Eric is not blue.
False
1
inv-proof
[(triple4)]
("Eric" "is" "blue" "-")
triple4
Harry is green.
True
3
proof
[(((triple6 triple9) -> rule5) OR ((((triple9) -> rule1) triple9) -> rule5))]
("Harry" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not green.
False
3
inv-proof
[(((triple6 triple9) -> rule5) OR ((((triple9) -> rule1) triple9) -> rule5))]
("Harry" "is" "green" "-")
((triple6 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Eric is green.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule5))]
("Eric" "is" "green" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not green.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule5))]
("Eric" "is" "green" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
5
proof
[(((((((triple4) -> rule1) triple4) -> rule5)) -> rule4))]
("Eric" "is" "kind" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not kind.
False
5
inv-proof
[(((((((triple4) -> rule1) triple4) -> rule5)) -> rule4))]
("Eric" "is" "kind" "-")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@3: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "big" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Eric is big.[(triple5 OR ((((triple4) -> rule1) ((((((triple4) -> rule1) triple4) -> rule5)) -> rule4)) -> rule6))] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is kind.[(triple7 OR ((((triple6 triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4))] Harry is red.[(triple6 OR ((triple9) -> rule1))] @1: Eric is red.[(((triple4) -> rule1))] Harry is big.[(((triple6 triple7) -> rule6) OR ((((triple9) -> rule1) triple7) -> rule6) OR ((triple6 ((((triple6 triple9) -> rule5)) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((((triple6 triple9) -> rule5)) -> rule4)) -> rule6) OR ((triple6 ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4)) -> rule6))] Harry is green.[(((triple6 triple9) -> rule5) OR ((((triple9) -> rule1) triple9) -> rule5))] @2: Eric is green.[(((((triple4) -> rule1) triple4) -> rule5))] @3: Eric is kind.[(((((((triple4) -> rule1) triple4) -> rule5)) -> rule4))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
((((triple4) -> (rule1 % int4)) ((((((triple4) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
((((triple6 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6 triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple9) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple6 ((((triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple9) -> (rule1 % int4)) ((((triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple6 ((((((triple9) -> (rule1 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple9) -> (rule1 % int4)) ((((((triple9) -> (rule1 % int4)) triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie is a nice person who is red because he has a rash.
Big Eric, the most blue guy I know while also being cold.
Harry is colored blue and red; He is also kind and cold to the touch.
Blue Christmas ornaments are also red.
An individual that fits the nice, red, and kind description will fit the description of big, too.
A nice and colored blue person will be rather big.
If you are green you are also kind.
Anyone with red and blue coloration also has green coloration.
Red and kind people always seem to be big as well.
A young, green person who is cold is rough around the edges.