Big, kind Alan is so very blue and red, but a nice person. Charlie is a red person who is round and also feels blue. Dave was born only a few years ago so he is young. Gary is big and rough. You will probably see that red, round people are nice, as well as green. Young round blue people are also big people. People who are round, blue and cold are usually nice. Kind and young people are round. A big, nice, blue person is likely to be young. A red and green colored person who is cold will be round shaped.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "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 round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple7)]
("Charlie" "is" "red" "+")
triple7
Dave is not young.
False
1
inv-proof
[(triple9)]
("Dave" "is" "young" "-")
triple9
Alan is young.
True
4
proof
[(((triple5 triple2 triple4) -> rule5))]
("Alan" "is" "young" "+")
((triple5 triple2 triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
4
inv-proof
[(((triple5 triple2 triple4) -> rule5))]
("Alan" "is" "young" "-")
((triple5 triple2 triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
True
6
proof
[(((((triple5 triple2 triple4) -> rule5) triple3) -> rule4))]
("Alan" "is" "round" "+")
((((triple5 triple2 triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not round.
False
6
inv-proof
[(((((triple5 triple2 triple4) -> rule5) triple3) -> rule4))]
("Alan" "is" "round" "-")
((((triple5 triple2 triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
True
9
proof
[(((((((triple5 triple2 triple4) -> rule5) triple3) -> rule4) triple1 triple2) -> rule1))]
("Alan" "is" "green" "+")
((((((triple5 triple2 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple1 triple2) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not green.
False
9
inv-proof
[(((((((triple5 triple2 triple4) -> rule5) triple3) -> rule4) triple1 triple2) -> rule1))]
("Alan" "is" "green" "-")
((((((triple5 triple2 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple1 triple2) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple8)] Charlie is red.[(triple7)] Charlie is round.[(triple6)] Dave is young.[(triple9)] Gary is big.[(triple11)] Gary is rough.[(triple10)] @1: Alan is young.[(((triple5 triple2 triple4) -> rule5))] @2: Alan is round.[(((((triple5 triple2 triple4) -> rule5) triple3) -> rule4))] @3: Alan is green.[(((((((triple5 triple2 triple4) -> rule5) triple3) -> rule4) triple1 triple2) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple5 triple2 triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple5 triple2 triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((((triple5 triple2 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple1 triple2) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Big, kind Alan is so very blue and red, but a nice person.
Charlie is a red person who is round and also feels blue.
Dave was born only a few years ago so he is young.
Gary is big and rough.
You will probably see that red, round people are nice, as well as green.
Young round blue people are also big people.
People who are round, blue and cold are usually nice.
Kind and young people are round.
A big, nice, blue person is likely to be young.
A red and green colored person who is cold will be round shaped.