Alan always goes out of his way to show that he is kind to people. Upon meeting Charlie, you'll notice he's green and kind. Harry is big, round, and rough. He is young, kind, and nice with rosy red cheeks. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. A big, nice, blue person is likely to be young. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Young,cold and blue people are mostly round. A green and quite rough person will also be blue. Red and round people will be cold even in the summer. People who are rough and cold, but also nice, are considered green.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Harry is not round.
False
1
inv-proof
[(triple5)]
("Harry" "is" "round" "-")
triple5
Harry is cold.
True
3
proof
[(((triple7 triple5) -> rule6))]
("Harry" "is" "cold" "+")
((triple7 triple5) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule6))]
("Harry" "is" "cold" "-")
((triple7 triple5) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
True
6
proof
[(((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7))]
("Harry" "is" "green" "+")
((triple6 ((triple7 triple5) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not green.
False
6
inv-proof
[(((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7))]
("Harry" "is" "green" "-")
((triple6 ((triple7 triple5) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
True
8
proof
[(((triple6 ((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7)) -> rule5))]
("Harry" "is" "blue" "+")
((triple6 ((triple6 ((triple7 triple5) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not blue.
False
8
inv-proof
[(((triple6 ((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7)) -> rule5))]
("Harry" "is" "blue" "-")
((triple6 ((triple6 ((triple7 triple5) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is kind.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4 OR ((triple10 triple8 ((triple6 ((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7)) -> rule5)) -> rule2))] @1: Harry is cold.[(((triple7 triple5) -> rule6))] @2: Harry is green.[(((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7))] @3: Harry is blue.[(((triple6 ((triple6 ((triple7 triple5) -> rule6) triple8) -> rule7)) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
((triple10 triple8 ((triple6 ((triple6 ((triple7 triple5) -> (rule6 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple5) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple6 ((triple7 triple5) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple6 ((triple6 ((triple7 triple5) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Upon meeting Charlie, you'll notice he's green and kind.
Harry is big, round, and rough; He is young, kind, and nice with rosy red cheeks.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
A big, nice, blue person is likely to be young.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Young,cold and blue people are mostly round.
A green and quite rough person will also be blue.
Red and round people will be cold even in the summer.
People who are rough and cold, but also nice, are considered green.