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.
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.