They always call him rough Charlie. Dave is big and tends to wear red shirts. Eric can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Kind, young, green persons are sure to be rough persons, too. If you have a big and round shape then you are going to be young, too. People who are blue and red and kind are described as being green. Like a blueberry, a big blue person is round as anything. A green colored person will be young and also kind. A young, nice person will turn out to be a green person also. People who are considered rough, blue, and nice, are also green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Eric is rough.
True
1
proof
[(triple4 OR ((((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5) ((((triple6 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))]
("Eric" "is" "rough" "+")
triple4
((((triple5 ((((triple6 triple7) -> (rule4 % int4)) triple7) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple6 triple7) -> (rule4 % int4)) triple7) -> (rule2 % int3)) triple5) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Dave is not red.
False
1
inv-proof
[(triple2)]
("Dave" "is" "red" "-")
triple2
Eric is round.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Eric" "is" "round" "+")
((triple6 triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("Eric" "is" "round" "-")
((triple6 triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
True
5
proof
[(((((triple6 triple7) -> rule4) triple7) -> rule2))]
("Eric" "is" "young" "+")
((((triple6 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not young.
False
5
inv-proof
[(((((triple6 triple7) -> rule4) triple7) -> rule2))]
("Eric" "is" "young" "-")
((((triple6 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
True
7
proof
[(((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5))]
("Eric" "is" "kind" "+")
((triple5 ((((triple6 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not kind.
False
7
inv-proof
[(((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5))]
("Eric" "is" "kind" "-")
((triple5 ((((triple6 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is rough.[(triple1)] Dave is big.[(triple3)] Dave is red.[(triple2)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4 OR ((((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5) ((((triple6 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))] @1: Eric is round.[(((triple6 triple7) -> rule4))] @2: Eric is young.[(((((triple6 triple7) -> rule4) triple7) -> rule2))] @3: Eric is kind.[(((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
((((triple5 ((((triple6 triple7) -> (rule4 % int4)) triple7) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple6 triple7) -> (rule4 % int4)) triple7) -> (rule2 % int3)) triple5) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple7) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple6 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 ((((triple6 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
They always call him rough Charlie.
Dave is big and tends to wear red shirts.
Eric can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
Kind, young, green persons are sure to be rough persons, too.
If you have a big and round shape then you are going to be young, too.
People who are blue and red and kind are described as being green.
Like a blueberry, a big blue person is round as anything.
A green colored person will be young and also kind.
A young, nice person will turn out to be a green person also.
People who are considered rough, blue, and nice, are also green.