Bob was born only a few years ago so he is young. In the snow sits Charlie, crying from being cold. Dave was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. Harry is known to be rough and green. When someone is nice and rough they are usually red. Look for the blue and green people, they are kind and will give you directions if you're lost. Young people that are blue will still be kind because they are rough to the touch. Nice people who are big are always feeling blue.
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is rough.
True
1
proof
[(triple8)]
("Harry" "is" "rough" "+")
triple8
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Dave is kind.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "kind" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "kind" "-")
((triple7 triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
True
6
proof
[(((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3))]
("Dave" "is" "rough" "+")
((triple7 triple3 ((triple7 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not rough.
False
6
inv-proof
[(((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3))]
("Dave" "is" "rough" "-")
((triple7 triple3 ((triple7 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
True
8
proof
[(((triple5 ((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "red" "+")
((triple5 ((triple7 triple3 ((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not red.
False
8
inv-proof
[(((triple5 ((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "red" "-")
((triple5 ((triple7 triple3 ((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is young.[(triple1)] Charlie is cold.[(triple2)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Harry is green.[(triple9)] Harry is rough.[(triple8)] @1: Dave is kind.[(((triple7 triple6) -> rule2))] @2: Dave is rough.[(((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3))] @3: Dave is red.[(((triple5 ((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple3 ((triple7 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple5 ((triple7 triple3 ((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Bob was born only a few years ago so he is young.
In the snow sits Charlie, crying from being cold.
Dave was green with envy; Though everyone thought he was a nice, young guy he was always blue; He would only focus on how round he was compared to others.
Harry is known to be rough and green.
When someone is nice and rough they are usually red.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Young people that are blue will still be kind because they are rough to the touch.
Nice people who are big are always feeling blue.