Alan is big for being as young as he is. You will also notice how he is green and red. They always call him rough Bob. Dave always goes out of his way to show that he is kind to people. Eric became so big that he is now very round. Fortunately the rather green man is still nice. You can tell if someone is big, kind, and young, then they are also nice. If red and slightly green people are asked, they will tell you they feel blue. A green person that is cold is often considered to be red. Someone who is young and nice is often round. A big and blue colored person is also certainly very kind. Being cold and blue made them rough to deal with.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Eric is nice.
True
1
proof
[(triple8)]
("Eric" "is" "nice" "+")
triple8
Eric is not round.
False
1
inv-proof
[(triple7)]
("Eric" "is" "round" "-")
triple7
Alan is blue.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "blue" "-")
((triple3 triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
True
5
proof
[(((((triple3 triple2) -> rule2) triple4) -> rule5))]
("Alan" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not kind.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple4) -> rule5))]
("Alan" "is" "kind" "-")
((((triple3 triple2) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
True
8
proof
[(((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1))]
("Alan" "is" "nice" "+")
((triple4 ((((triple3 triple2) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not nice.
False
8
inv-proof
[(((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1))]
("Alan" "is" "nice" "-")
((triple4 ((((triple3 triple2) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
True
10
proof
[(((triple1 ((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1)) -> rule4))]
("Alan" "is" "round" "+")
((triple1 ((triple4 ((((triple3 triple2) -> (rule2 % int4)) triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not round.
False
10
inv-proof
[(((triple1 ((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1)) -> rule4))]
("Alan" "is" "round" "-")
((triple1 ((triple4 ((((triple3 triple2) -> (rule2 % int4)) triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is rough.[(triple5)] Dave is kind.[(triple6)] Eric is big.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] @1: Alan is blue.[(((triple3 triple2) -> rule2))] @2: Alan is kind.[(((((triple3 triple2) -> rule2) triple4) -> rule5))] @3: Alan is nice.[(((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1))] @4: Alan is round.[(((triple1 ((triple4 ((((triple3 triple2) -> rule2) triple4) -> rule5) triple1) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 ((((triple3 triple2) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple4 ((((triple3 triple2) -> (rule2 % int4)) triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is big for being as young as he is; You will also notice how he is green and red.
They always call him rough Bob.
Dave always goes out of his way to show that he is kind to people.
Eric became so big that he is now very round; Fortunately the rather green man is still nice.
You can tell if someone is big, kind, and young, then they are also nice.
If red and slightly green people are asked, they will tell you they feel blue.
A green person that is cold is often considered to be red.
Someone who is young and nice is often round.
A big and blue colored person is also certainly very kind.
Being cold and blue made them rough to deal with.