Bob ate some rotten meat and now feels green. Charlie is very young to be a nurse but he loves helping others because he is so nice and kind. Young, red Dave is nice. Eric is young, rough and green, but he is also kind and is red when embarrassed. Young round blue people are also big people. Big, kind, and nice people are often red in color. A blue colored person who is very nice and kind will be round shaped. I believe that red, cold, rough people are likely to be green. A kind person who look green and is round in shape is usually big in stature. A kind, young human will also be a blue human.
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Eric is not green.
False
1
inv-proof
[(triple12)]
("Eric" "is" "green" "-")
triple12
Eric is blue.
True
3
proof
[(((triple11 triple8) -> rule6))]
("Eric" "is" "blue" "+")
((triple11 triple8) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple11 triple8) -> rule6))]
("Eric" "is" "blue" "-")
((triple11 triple8) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is round.
True
6
proof
[(((((triple4 triple2) -> rule6) triple3 triple4) -> rule3))]
("Charlie" "is" "round" "+")
((((triple4 triple2) -> (rule6 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not round.
False
6
inv-proof
[(((((triple4 triple2) -> rule6) triple3 triple4) -> rule3))]
("Charlie" "is" "round" "-")
((((triple4 triple2) -> (rule6 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
True
11
proof
[(((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1))]
("Charlie" "is" "big" "+")
((((((triple4 triple2) -> (rule6 % int3)) triple3 triple4) -> (rule3 % int2)) ((triple4 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not big.
False
11
inv-proof
[(((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1))]
("Charlie" "is" "big" "-")
((((((triple4 triple2) -> (rule6 % int3)) triple3 triple4) -> (rule3 % int2)) ((triple4 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
True
14
proof
[(((((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1) triple4 triple3) -> rule2))]
("Charlie" "is" "red" "+")
((((((((triple4 triple2) -> (rule6 % int4)) triple3 triple4) -> (rule3 % int3)) ((triple4 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not red.
False
14
inv-proof
[(((((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1) triple4 triple3) -> rule2))]
("Charlie" "is" "red" "-")
((((((((triple4 triple2) -> (rule6 % int4)) triple3 triple4) -> (rule3 % int3)) ((triple4 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "blue" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is green.[(triple1)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Eric is green.[(triple12)] Eric is kind.[(triple11)] Eric is red.[(triple10)] Eric is rough.[(triple9)] Eric is young.[(triple8)] @1: Charlie is blue.[(((triple4 triple2) -> rule6))] Eric is blue.[(((triple11 triple8) -> rule6))] @2: Charlie is round.[(((((triple4 triple2) -> rule6) triple3 triple4) -> rule3))] @3: Charlie is big.[(((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1))] @4: Charlie is red.[(((((((((triple4 triple2) -> rule6) triple3 triple4) -> rule3) ((triple4 triple2) -> rule6) triple2) -> rule1) triple4 triple3) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is red.
("Eric" "is" "red" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple11 triple8) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 triple2) -> (rule6 % int2)) triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple4 triple2) -> (rule6 % int3)) triple3 triple4) -> (rule3 % int2)) ((triple4 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((((((triple4 triple2) -> (rule6 % int4)) triple3 triple4) -> (rule3 % int3)) ((triple4 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Bob ate some rotten meat and now feels green.
Charlie is very young to be a nurse but he loves helping others because he is so nice and kind.
Young, red Dave is nice.
Eric is young, rough and green, but he is also kind and is red when embarrassed.
Young round blue people are also big people.
Big, kind, and nice people are often red in color.
A blue colored person who is very nice and kind will be round shaped.
I believe that red, cold, rough people are likely to be green.
A kind person who look green and is round in shape is usually big in stature.
A kind, young human will also be a blue human.