Alan is a round and big shaped young man. He is green in color and is nice. Dave is blue and cold. Fred looks red to most people, with blue features. A big person who is kind but blue is cold. A very kind and green colored person, who is also cold, will be nice. People who can be kind when they are cold are fundamentally nice. Young people who are big, downhearted, and blue are kind. Nice green people and often blue with sadness. People with blue and red skin color are also green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Alan is not big.
False
1
inv-proof
[(triple5)]
("Alan" "is" "big" "-")
triple5
Fred is green.
True
3
proof
[(((triple9 triple8) -> rule6))]
("Fred" "is" "green" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple9 triple8) -> rule6))]
("Fred" "is" "green" "-")
((triple9 triple8) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is kind.
True
6
proof
[(((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4))]
("Alan" "is" "kind" "+")
((triple5 ((triple4 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4))]
("Alan" "is" "kind" "-")
((triple5 ((triple4 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
True
11
proof
[(((((triple4 triple3) -> rule5) ((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4) triple5) -> rule1))]
("Alan" "is" "cold" "+")
((((triple4 triple3) -> (rule5 % int3)) ((triple5 ((triple4 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not cold.
False
11
inv-proof
[(((((triple4 triple3) -> rule5) ((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4) triple5) -> rule1))]
("Alan" "is" "cold" "-")
((((triple4 triple3) -> (rule5 % int3)) ((triple5 ((triple4 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Fred is blue.[(triple9)] Fred is red.[(triple8)] @1: Alan is blue.[(((triple4 triple3) -> rule5))] Fred is green.[(((triple9 triple8) -> rule6))] @2: Alan is kind.[(((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4))] @3: Alan is cold.[(((((triple4 triple3) -> rule5) ((triple5 ((triple4 triple3) -> rule5) triple1) -> rule4) triple5) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple5 ((triple4 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple4 triple3) -> (rule5 % int3)) ((triple5 ((triple4 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is a round and big shaped young man; He is green in color and is nice.
Dave is blue and cold.
Fred looks red to most people, with blue features.
A big person who is kind but blue is cold.
A very kind and green colored person, who is also cold, will be nice.
People who can be kind when they are cold are fundamentally nice.
Young people who are big, downhearted, and blue are kind.
Nice green people and often blue with sadness.
People with blue and red skin color are also green.