Most people see Alan as round, albeit nice and big at the same time. Dave is both young and fairly round in size. Eric is a young man who is big and round. He is also kind with a bit of a cold streak. Gary is very nice to people, but he's also rather big. A male or female with rough, kind and round traits will surely have a nice quality, as well. If a big person is cold and nice, then they are green. Rough and green people are also nice. If a rather cold person is also kind then they are probably rough. It's just a fact that a blue person is a kind person. Round, nice people are normally cold and nasty.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Eric is rough.
True
3
proof
[(((triple9 triple8) -> rule4))]
("Eric" "is" "rough" "+")
((triple9 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple9 triple8) -> rule4))]
("Eric" "is" "rough" "-")
((triple9 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Alan is green.
True
6
proof
[(((((triple1 triple2) -> rule6) triple3 triple2) -> rule2))]
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule6 % int2)) triple3 triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((((triple9 triple8) -> rule4) triple8 triple7) -> rule1))]
("Eric" "is" "nice" "-")
((((triple9 triple8) -> (rule4 % int2)) triple8 triple7) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
True
9
proof
[(((triple9 triple10 ((((triple9 triple8) -> rule4) triple8 triple7) -> rule1)) -> rule2))]
("Eric" "is" "green" "+")
((triple9 triple10 ((((triple9 triple8) -> (rule4 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not green.
False
9
inv-proof
[(((triple9 triple10 ((((triple9 triple8) -> rule4) triple8 triple7) -> rule1)) -> rule2))]
("Eric" "is" "green" "-")
((triple9 triple10 ((((triple9 triple8) -> (rule4 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Gary is big.[(triple12)] Gary is nice.[(triple11)] @1: Alan is cold.[(((triple1 triple2) -> rule6))] Eric is rough.[(((triple9 triple8) -> rule4))] @2: Alan is green.[(((((triple1 triple2) -> rule6) triple3 triple2) -> rule2))] Eric is nice.[(((((triple9 triple8) -> rule4) triple8 triple7) -> rule1))] @3: Eric is green.[(((triple9 triple10 ((((triple9 triple8) -> rule4) triple8 triple7) -> rule1)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple9 triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule6 % int2)) triple3 triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple9 triple8) -> (rule4 % int2)) triple8 triple7) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple9 triple10 ((((triple9 triple8) -> (rule4 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Most people see Alan as round, albeit nice and big at the same time.
Dave is both young and fairly round in size.
Eric is a young man who is big and round; He is also kind with a bit of a cold streak.
Gary is very nice to people, but he's also rather big.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
If a big person is cold and nice, then they are green.
Rough and green people are also nice.
If a rather cold person is also kind then they are probably rough.
It's just a fact that a blue person is a kind person.
Round, nice people are normally cold and nasty.