Alan is blue and cold. Bob is red with anger because he's green with envy, like all young, rough boys. Dave is blue and cold. Young Gary got into a fight that left him with red sores on his face. A blue person who is feeling a bit rough and cold will be wearing red. You will find that a big, young, blue person is also quite round. Young, round, and cold people have a habit of looking pretty red. A green colored, nice and young person will be big shaped. People,though rough and red,tend to be cold too. A person who is cold, rough and young is also nice. A kind person who look green and is round in shape is usually big in stature.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Alan is cold.
True
1
proof
[(triple1)]
("Alan" "is" "cold" "+")
triple1
Gary is not red.
False
1
inv-proof
[(triple10)]
("Gary" "is" "red" "-")
triple10
Bob is cold.
True
3
proof
[(((triple4 triple5) -> rule5))]
("Bob" "is" "cold" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("Bob" "is" "cold" "-")
((triple4 triple5) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
True
6
proof
[(((((triple4 triple5) -> rule5) triple3 triple4) -> rule6))]
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((((triple4 triple5) -> rule5) triple3 triple4) -> rule6))]
("Bob" "is" "nice" "-")
((((triple4 triple5) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
True
9
proof
[(((triple3 triple6 ((((triple4 triple5) -> rule5) triple3 triple4) -> rule6)) -> rule4))]
("Bob" "is" "big" "+")
((triple3 triple6 ((((triple4 triple5) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not big.
False
9
inv-proof
[(((triple3 triple6 ((((triple4 triple5) -> rule5) triple3 triple4) -> rule6)) -> rule4))]
("Bob" "is" "big" "-")
((triple3 triple6 ((((triple4 triple5) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is green.[(triple6)] Bob is red.[(triple5)] Bob is rough.[(triple4)] Bob is young.[(triple3)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Gary is red.[(triple10)] Gary is young.[(triple9)] @1: Bob is cold.[(((triple4 triple5) -> rule5))] @2: Bob is nice.[(((((triple4 triple5) -> rule5) triple3 triple4) -> rule6))] @3: Bob is big.[(((triple3 triple6 ((((triple4 triple5) -> rule5) triple3 triple4) -> rule6)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple6 ((((triple4 triple5) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Alan is blue and cold.
Bob is red with anger because he's green with envy, like all young, rough boys.
Dave is blue and cold.
Young Gary got into a fight that left him with red sores on his face.
A blue person who is feeling a bit rough and cold will be wearing red.
You will find that a big, young, blue person is also quite round.
Young, round, and cold people have a habit of looking pretty red.
A green colored, nice and young person will be big shaped.
People,though rough and red,tend to be cold too.
A person who is cold, rough and young is also nice.
A kind person who look green and is round in shape is usually big in stature.