Alan ate some rotten meat and now feels green. Bob is man who is rough, red, nice, kind, and also green. Young Gary is wearing green pants. Big Harry is cold but kind and always green. Blue people who are cold are always round in shape. Rough and kind people are big. A person described as cold and kind can also be described as nice. Someone who is young and nice is often round. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big, red things tend to have a kind spirit to them. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Bob is not kind.
False
1
inv-proof
[(triple5)]
("Bob" "is" "kind" "-")
triple5
Bob is big.
True
3
proof
[(((triple2 triple5) -> rule2))]
("Bob" "is" "big" "+")
((triple2 triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple11 triple9) -> rule3))]
("Harry" "is" "nice" "-")
((triple11 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is cold.
True
6
proof
[(((((triple2 triple5) -> rule2) triple4 triple5) -> rule7))]
("Bob" "is" "cold" "+")
((((triple2 triple5) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not cold.
False
6
inv-proof
[(((((triple2 triple5) -> rule2) triple4 triple5) -> rule7))]
("Bob" "is" "cold" "-")
((((triple2 triple5) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
True
9
proof
[(((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5))]
("Bob" "is" "young" "+")
((triple5 triple2 ((((triple2 triple5) -> (rule2 % int3)) triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not young.
False
9
inv-proof
[(((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5))]
("Bob" "is" "young" "-")
((triple5 triple2 ((((triple2 triple5) -> (rule2 % int3)) triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
True
11
proof
[(((((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5) triple4) -> rule4))]
("Bob" "is" "round" "+")
((((triple5 triple2 ((((triple2 triple5) -> (rule2 % int4)) triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not round.
False
11
inv-proof
[(((((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5) triple4) -> rule4))]
("Bob" "is" "round" "-")
((((triple5 triple2 ((((triple2 triple5) -> (rule2 % int4)) triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Gary" "is" "nice" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is green.[(triple1)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Gary is green.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Bob is big.[(((triple2 triple5) -> rule2))] Harry is nice.[(((triple11 triple9) -> rule3))] @2: Bob is cold.[(((((triple2 triple5) -> rule2) triple4 triple5) -> rule7))] @3: Bob is young.[(((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5))] @4: Bob is round.[(((((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5) triple4) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2 triple5) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple5 triple2 ((((triple2 triple5) -> (rule2 % int3)) triple4 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple5 triple2 ((((triple2 triple5) -> (rule2 % int4)) triple4 triple5) -> (rule7 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Alan ate some rotten meat and now feels green.
Bob is man who is rough, red, nice, kind, and also green.
Young Gary is wearing green pants.
Big Harry is cold but kind and always green.
Blue people who are cold are always round in shape.
Rough and kind people are big.
A person described as cold and kind can also be described as nice.
Someone who is young and nice is often round.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Big, red things tend to have a kind spirit to them.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.