Others enjoy Alan's company because he is so nice and kind. Dave is a young and nice man, and he is also very big shaped. If you have a fire big Harry comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire. Pick someone blue, kind and big, and they are certain to be green as well. Kind big people are green and young. Rough, round persons are also nice persons. Green and blue, when found in one person, signify someone who is cold. Show me someone who is cold and kind, and I'll show you how green they are. People feeling green and blue are somewhat nice. Being cold and blue made them rough to deal with.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Dave is young.
True
1
proof
[(triple3)]
("Dave" "is" "young" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Harry is green.
True
4
proof
[(((triple8 triple7 triple9) -> rule1))]
("Harry" "is" "green" "+")
((triple8 triple7 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple8 triple7 triple9) -> rule1))]
("Harry" "is" "green" "-")
((triple8 triple7 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
True
7
proof
[(((triple7 ((triple8 triple7 triple9) -> rule1) triple9) -> rule2))]
("Harry" "is" "young" "+")
((triple7 ((triple8 triple7 triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((((triple8 triple7 triple9) -> rule1) triple8) -> rule4))]
("Harry" "is" "cold" "-")
((((triple8 triple7 triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
True
8
proof
[(((((((triple8 triple7 triple9) -> rule1) triple8) -> rule4) triple8) -> rule7))]
("Harry" "is" "rough" "+")
((((((triple8 triple7 triple9) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not rough.
False
8
inv-proof
[(((((((triple8 triple7 triple9) -> rule1) triple8) -> rule4) triple8) -> rule7))]
("Harry" "is" "rough" "-")
((((((triple8 triple7 triple9) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Dave is young.[(triple3)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is kind.[(triple7)] Harry is nice.[(triple6 OR ((((triple8 triple7 triple9) -> rule1) triple8) -> rule6))] @1: Harry is green.[(((triple8 triple7 triple9) -> rule1))] @2: Harry is cold.[(((((triple8 triple7 triple9) -> rule1) triple8) -> rule4))] Harry is young.[(((triple7 ((triple8 triple7 triple9) -> rule1) triple9) -> rule2))] @3: Harry is rough.[(((((((triple8 triple7 triple9) -> rule1) triple8) -> rule4) triple8) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
((((triple8 triple7 triple9) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple8 triple7 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple8 triple7 triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple7 ((triple8 triple7 triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple8 triple7 triple9) -> (rule1 % int3)) triple8) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Dave is a young and nice man, and he is also very big shaped.
If you have a fire big Harry comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire.
Pick someone blue, kind and big, and they are certain to be green as well.
Kind big people are green and young.
Rough, round persons are also nice persons.
Green and blue, when found in one person, signify someone who is cold.
Show me someone who is cold and kind, and I'll show you how green they are.
People feeling green and blue are somewhat nice.
Being cold and blue made them rough to deal with.