Alan is green, which is a possible explanation for why he is so nice. Upon meeting Bob, you'll notice he's green and kind. Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red. Harry is rough around the edges, but he's often blue and always nice. Blue Christmas ornaments are also red. A young someone is red in thought but green in ideas. Young people tend to be blue all the time and rough. If someone is a bit rough, but also nice, then they qualify as round. A rough and round shaped person will be nice and also young. A person that is round, green, and blue is usually considered cold. Young people are rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
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 young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
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 young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Harry is red.
True
2
proof
[(((triple12) -> rule1))]
("Harry" "is" "red" "+")
((triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple12) -> rule1))]
("Harry" "is" "red" "-")
((triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
True
6
proof
[(((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5))]
("Harry" "is" "young" "+")
((triple10 ((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not young.
False
6
inv-proof
[(((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5))]
("Harry" "is" "young" "-")
((triple10 ((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
True
9
proof
[(((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2))]
("Harry" "is" "green" "+")
((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not green.
False
9
inv-proof
[(((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2))]
("Harry" "is" "green" "-")
((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
True
14
proof
[(((((triple11 triple10) -> rule4) ((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2) triple12) -> rule6))]
("Harry" "is" "cold" "+")
((((triple11 triple10) -> (rule4 % int5)) ((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int5)) triple11) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is not cold.
False
14
inv-proof
[(((((triple11 triple10) -> rule4) ((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2) triple12) -> rule6))]
("Harry" "is" "cold" "-")
((((triple11 triple10) -> (rule4 % int5)) ((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int5)) triple11) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is rough.
Unknown
rconc
[@3: Alan is rough.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is round.
Unknown
rconc
[@3: Alan is round.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is green.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Gary is cold.[(triple9)] Gary is green.[(triple8 OR ((triple6 triple5) -> rule2))] Gary is kind.[(triple7)] Gary is red.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] @1: Gary is rough.[(((triple5) -> rule7))] Harry is red.[(((triple12) -> rule1))] Harry is round.[(((triple11 triple10) -> rule4))] @2: Harry is young.[(((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5))] @3: Harry is green.[(((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2))] @4: Harry is cold.[(((((triple11 triple10) -> rule4) ((((triple12) -> rule1) ((triple10 ((triple11 triple10) -> rule4) triple11) -> rule5)) -> rule2) triple12) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple6 triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
((triple5) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple10) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 triple10) -> (rule4 % int5)) ((((triple12) -> (rule1 % int4)) ((triple10 ((triple11 triple10) -> (rule4 % int5)) triple11) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Alan is green, which is a possible explanation for why he is so nice.
Upon meeting Bob, you'll notice he's green and kind.
Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red.
Harry is rough around the edges, but he's often blue and always nice.
Blue Christmas ornaments are also red.
A young someone is red in thought but green in ideas.
Young people tend to be blue all the time and rough.
If someone is a bit rough, but also nice, then they qualify as round.
A rough and round shaped person will be nice and also young.
A person that is round, green, and blue is usually considered cold.
Young people are rough.