Bob, a green man, was also big, but underneath he was kind. Dave is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Eric's a round guy, and a red and green guy. In the snow sits Harry, crying from being cold. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Big people who are red in color are often nice. People that are big and cold are blue as well. People that are green tend to be young. Young people who are cold and painted red are usually big and part of the football team.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple5)]
("Dave" "is" "kind" "-")
triple5
Eric is young.
True
2
proof
[(((triple10) -> rule4))]
("Eric" "is" "young" "+")
((triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "young" "-")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is big.
True
5
proof
[(((triple7 triple4 ((triple6) -> rule4)) -> rule5))]
("Dave" "is" "big" "+")
((triple7 triple4 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not big.
False
5
inv-proof
[(((triple7 triple4 ((triple6) -> rule4)) -> rule5))]
("Dave" "is" "big" "-")
((triple7 triple4 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
True
7
proof
[(((((triple7 triple4 ((triple6) -> rule4)) -> rule5) triple4) -> rule2))]
("Dave" "is" "nice" "+")
((((triple7 triple4 ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((((triple7 triple4 ((triple6) -> rule4)) -> rule5) triple7) -> rule3))]
("Dave" "is" "blue" "-")
((((triple7 triple4 ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Eric is green.[(triple10)] Eric is red.[(triple9)] Eric is round.[(triple8)] Harry is cold.[(triple11)] @1: Bob is young.[(((triple2) -> rule4))] Dave is young.[(((triple6) -> rule4))] Eric is young.[(((triple10) -> rule4))] @2: Dave is big.[(((triple7 triple4 ((triple6) -> rule4)) -> rule5))] @3: Dave is blue.[(((((triple7 triple4 ((triple6) -> rule4)) -> rule5) triple7) -> rule3))] Dave is nice.[(((((triple7 triple4 ((triple6) -> rule4)) -> rule5) triple4) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple7 triple4 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple7 triple4 ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple4 ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob, a green man, was also big, but underneath he was kind.
Dave is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Eric's a round guy, and a red and green guy.
In the snow sits Harry, crying from being cold.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
Big people who are red in color are often nice.
People that are big and cold are blue as well.
People that are green tend to be young.
Young people who are cold and painted red are usually big and part of the football team.