Alan is big and dresses in blue. Most everyone considers Charlie a rough fellow, but very kind. He's often categorized as blue, and he's big. Dave is young and big in stature.  He is cold but nice. A big person who feels cold and has blue skin is a nice person. Nice young people who are round are also blue. Like a blueberry, a big blue person is round as anything. I've noticed that someone with a round shape is also green. A quite nice person will certainly be red. A rough and round shaped person will be nice and also young. I've noticed that big people with blue and green skin tend to be young.
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Alan is blue.
True
1
proof
[(triple1)]
("Alan" "is" "blue" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Charlie is round.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "round" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "round" "-")
((triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Alan is green.
True
4
proof
[(((((triple1 triple2) -> rule3)) -> rule4))]
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((((triple5 triple6) -> rule3)) -> rule4))]
("Charlie" "is" "green" "-")
((((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
True
7
proof
[(((((((triple5 triple6) -> rule3)) -> rule4) triple6 triple5) -> rule7))]
("Charlie" "is" "young" "+")
((((((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple6 triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is not young.
False
7
inv-proof
[(((((((triple1 triple2) -> rule3)) -> rule4) triple2 triple1) -> rule7))]
("Alan" "is" "young" "-")
((((((triple1 triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple2 triple1) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@3: Dave is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Dave is nice.[(triple8)] Dave is young.[(triple7)] @1: Alan is round.[(((triple1 triple2) -> rule3))] Charlie is round.[(((triple5 triple6) -> rule3))] Dave is red.[(((triple8) -> rule5))] @2: Alan is green.[(((((triple1 triple2) -> rule3)) -> rule4))] Charlie is green.[(((((triple5 triple6) -> rule3)) -> rule4))] @3: Alan is young.[(((((((triple1 triple2) -> rule3)) -> rule4) triple2 triple1) -> rule7))] Charlie is young.[(((((((triple5 triple6) -> rule3)) -> rule4) triple6 triple5) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple1 triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple2 triple1) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple6 triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is big and dresses in blue.
Most everyone considers Charlie a rough fellow, but very kind; He's often categorized as blue, and he's big.
Dave is young and big in stature; He is cold but nice.
A big person who feels cold and has blue skin is a nice person.
Nice young people who are round are also blue.
Like a blueberry, a big blue person is round as anything.
I've noticed that someone with a round shape is also green.
A quite nice person will certainly be red.
A rough and round shaped person will be nice and also young.
I've noticed that big people with blue and green skin tend to be young.