That man standing next to you with a big round body goes by the name of Bob. Eric is nice and kind. He is green with envy which makes him feel blue. Fred always goes out of his way to show that he is kind to people. Colored red, green, and blue, Gary is quite the round person. Green and blue people have a habit of being cold, which makes them red too. A cold and blue appearing person will be young as well. Someone being both nice and kind means that they are a big person. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Blue and red people who are young always have rough skin. A person that is round, green, and blue is usually considered cold. Nice green people who feel blue are often red in color.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Gary is red.
True
1
proof
[(triple9 OR ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1))]
("Gary" "is" "red" "+")
triple9
((triple10 triple11 ((triple8 triple10 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Eric is red.
True
4
proof
[(((triple5 triple6 triple3) -> rule7) OR ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1))]
("Eric" "is" "red" "+")
((triple5 triple6 triple3) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Gary is not cold.
False
4
inv-proof
[(((triple8 triple10 triple11) -> rule6))]
("Gary" "is" "cold" "-")
((triple8 triple10 triple11) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Eric is round.
True
6
proof
[(((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4))]
("Eric" "is" "round" "+")
((triple3 triple6 ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not round.
False
6
inv-proof
[(((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4))]
("Eric" "is" "round" "-")
((triple3 triple6 ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
True
9
proof
[(((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6))]
("Eric" "is" "cold" "+")
((((triple3 triple6 ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple5 triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not rough.
False
9
inv-proof
[(((triple11 triple9 ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5) OR ((triple11 ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1) ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5))]
("Gary" "is" "rough" "-")
((triple11 triple9 ((((triple8 triple10 triple11) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple11 ((triple10 triple11 ((triple8 triple10 triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple8 triple10 triple11) -> (rule6 % int4)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Eric is young.
True
11
proof
[(((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2))]
("Eric" "is" "young" "+")
((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not young.
False
11
inv-proof
[(((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2))]
("Eric" "is" "young" "-")
((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is rough.
True
17
proof
[(((triple6 ((triple5 triple6 triple3) -> rule7) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5))]
("Eric" "is" "rough" "+")
((triple6 ((triple5 triple6 triple3) -> (rule7 % int6)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Eric is red.
("Eric" "is" "red" "+")
int6
((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is big.
("Eric" "is" "big" "+")
int6
Eric is not rough.
False
17
inv-proof
[(((triple6 ((triple5 triple6 triple3) -> rule7) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5))]
("Eric" "is" "rough" "-")
((triple6 ((triple5 triple6 triple3) -> (rule7 % int6)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Eric is red.
("Eric" "is" "red" "+")
int6
((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is big.
("Eric" "is" "big" "+")
int6
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Fred is kind.[(triple7)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is red.[(triple9 OR ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1))] Gary is round.[(triple8)] @1: Eric is big.[(((triple3 triple4) -> rule3))] Eric is red.[(((triple5 triple6 triple3) -> rule7) OR ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1))] Gary is cold.[(((triple8 triple10 triple11) -> rule6))] @2: Eric is round.[(((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4))] Gary is young.[(((((triple8 triple10 triple11) -> rule6) triple11) -> rule2))] @3: Eric is cold.[(((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6))] Gary is rough.[(((triple11 triple9 ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5) OR ((triple11 ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1) ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5))] @4: Eric is young.[(((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2))] @5: Eric is rough.[(((triple6 ((triple5 triple6 triple3) -> rule7) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple10 triple11 ((triple8 triple10 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple6 triple3) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple10 triple11) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple3 triple6 ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple8 triple10 triple11) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple3 triple6 ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple5 triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 triple9 ((((triple8 triple10 triple11) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple11 ((triple10 triple11 ((triple8 triple10 triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple8 triple10 triple11) -> (rule6 % int4)) triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 ((triple5 triple6 triple3) -> (rule7 % int6)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is big.
("Eric" "is" "big" "+")
int5
Eric is red.
("Eric" "is" "red" "+")
int6
((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple3 triple6 ((triple3 triple4) -> (rule3 % int6))) -> (rule4 % int5)) triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is big.
("Eric" "is" "big" "+")
int6
That man standing next to you with a big round body goes by the name of Bob.
Eric is nice and kind; He is green with envy which makes him feel blue.
Fred always goes out of his way to show that he is kind to people.
Colored red, green, and blue, Gary is quite the round person.
Green and blue people have a habit of being cold, which makes them red too.
A cold and blue appearing person will be young as well.
Someone being both nice and kind means that they are a big person.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Blue and red people who are young always have rough skin.
A person that is round, green, and blue is usually considered cold.
Nice green people who feel blue are often red in color.