Bob is round and kind. He works outside and is often cold with red cheeks and blue lips. Big Dave is young and rough but also very nice in a green sorta way. Eric who is considered nice was feeling rather rough today. A big person who looks blue is also going to look young. If someone is colored red but is cold, they tend to show a lot of green. If you meet a kind green person with a round shape they will also be young. Someone who's young and frosty cold are actually very nice. I believe that red, cold, rough people are likely to be green. People with rough red and blue skin are young.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
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 rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is green.
True
3
proof
[(((triple2 triple4) -> rule2))]
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple2 triple4) -> rule2))]
("Bob" "is" "green" "-")
((triple2 triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
True
6
proof
[(((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3))]
("Bob" "is" "young" "+")
((triple3 ((triple2 triple4) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3))]
("Bob" "is" "young" "-")
((triple3 ((triple2 triple4) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
True
8
proof
[(((((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3) triple4) -> rule4))]
("Bob" "is" "nice" "+")
((((triple3 ((triple2 triple4) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not nice.
False
8
inv-proof
[(((((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3) triple4) -> rule4))]
("Bob" "is" "nice" "-")
((((triple3 ((triple2 triple4) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple10)] Dave is green.[(triple9)] Dave is nice.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is nice.[(triple12)] Eric is rough.[(triple11)] @1: Bob is green.[(((triple2 triple4) -> rule2))] @2: Bob is young.[(((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3))] @3: Bob is nice.[(((((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3) triple4) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple12
Eric is rough.
("Eric" "is" "rough" "+")
triple11
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((triple2 triple4) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3 ((triple2 triple4) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round and kind; He works outside and is often cold with red cheeks and blue lips.
Big Dave is young and rough but also very nice in a green sorta way.
Eric who is considered nice was feeling rather rough today.
A big person who looks blue is also going to look young.
If someone is colored red but is cold, they tend to show a lot of green.
If you meet a kind green person with a round shape they will also be young.
Someone who's young and frosty cold are actually very nice.
I believe that red, cold, rough people are likely to be green.
People with rough red and blue skin are young.