Red Alan is what folks call him, because he is quite red. Dave is big and round man that is looking rather green after seeing some bad mayonnaise. Big Fred, the most blue guy I know while also being cold. Young, red Gary is nice. A red colored person will be rough textured and will be blue. Anybody that is big is also someone who is going to be blue. Among cold people, those who are round and kind are also rough. Red and kind people always seem to be big as well. Someone with the traits of being cold and red is also going to be someone who is big. A person that is both nice and young will also be cold. Most kind and cold people are also big.
Alan is red.
("Alan" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Dave is blue.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("Dave" "is" "blue" "-")
((triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is big.
True
5
proof
[(((((triple10 triple8) -> rule6) triple9) -> rule5))]
("Gary" "is" "big" "+")
((((triple10 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not big.
False
5
inv-proof
[(((((triple10 triple8) -> rule6) triple9) -> rule5))]
("Gary" "is" "big" "-")
((((triple10 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
True
6
proof
[(((((((triple10 triple8) -> rule6) triple9) -> rule5)) -> rule2))]
("Gary" "is" "blue" "+")
((((((triple10 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not blue.
False
6
inv-proof
[(((((((triple10 triple8) -> rule6) triple9) -> rule5)) -> rule2))]
("Gary" "is" "blue" "-")
((((((triple10 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@3: Alan is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Alan" "is" "big" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is red.[(triple1)] Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is round.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((triple7) -> rule2))] Fred is cold.[(triple5)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Dave is blue.[(((triple4) -> rule2))] Gary is cold.[(((triple10 triple8) -> rule6))] @2: Gary is big.[(((((triple10 triple8) -> rule6) triple9) -> rule5))] @3: Gary is blue.[(((((((triple10 triple8) -> rule6) triple9) -> rule5)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
((triple7) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple8) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple10 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple10 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Red Alan is what folks call him, because he is quite red.
Dave is big and round man that is looking rather green after seeing some bad mayonnaise.
Big Fred, the most blue guy I know while also being cold.
Young, red Gary is nice.
A red colored person will be rough textured and will be blue.
Anybody that is big is also someone who is going to be blue.
Among cold people, those who are round and kind are also rough.
Red and kind people always seem to be big as well.
Someone with the traits of being cold and red is also going to be someone who is big.
A person that is both nice and young will also be cold.
Most kind and cold people are also big.