Bob was born only a few years ago so he is young. Charlie is big and dresses in blue. Dave is cold which makes him red! Dave is young and rough but also very kind. They always call him rough Eric. We called someone with green, round eyes, blue for some reason. A green and red colored person who is rather nice will definitely be kind. Kind people that are rough and round are also considered big. A red colored person who is kind and feels cold is usually considered nice. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. A very nice and kind person will also be round shaped. An individual who is big and nice is also green.
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Dave is nice.
True
4
proof
[(((triple6 triple7 triple8) -> rule4))]
("Dave" "is" "nice" "+")
((triple6 triple7 triple8) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
4
inv-proof
[(((triple6 triple7 triple8) -> rule4))]
("Dave" "is" "nice" "-")
((triple6 triple7 triple8) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
True
6
proof
[(((((triple6 triple7 triple8) -> rule4) triple7) -> rule6))]
("Dave" "is" "round" "+")
((((triple6 triple7 triple8) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not round.
False
6
inv-proof
[(((((triple6 triple7 triple8) -> rule4) triple7) -> rule6))]
("Dave" "is" "round" "-")
((((triple6 triple7 triple8) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
True
9
proof
[(((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3))]
("Dave" "is" "big" "+")
((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not big.
False
9
inv-proof
[(((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3))]
("Dave" "is" "big" "-")
((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
True
14
proof
[(((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7))]
("Dave" "is" "green" "+")
((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple7 triple8) -> (rule4 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not green.
False
14
inv-proof
[(((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7))]
("Dave" "is" "green" "-")
((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple7 triple8) -> (rule4 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
True
21
proof
[(((((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7) ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule1))]
("Dave" "is" "blue" "+")
((((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule3 % int3)) ((triple6 triple7 triple8) -> (rule4 % int5))) -> (rule7 % int2)) ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not blue.
False
21
inv-proof
[(((((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7) ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule1))]
("Dave" "is" "blue" "-")
((((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule3 % int3)) ((triple6 triple7 triple8) -> (rule4 % int5))) -> (rule7 % int2)) ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is blue.
Unknown
rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is blue.
Unknown
rconc
[@3: Eric is blue.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule4 <- FAIL)]]
("Eric" "is" "blue" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Eric is rough.[(triple9)] @1: Dave is nice.[(((triple6 triple7 triple8) -> rule4))] @2: Dave is round.[(((((triple6 triple7 triple8) -> rule4) triple7) -> rule6))] @3: Dave is big.[(((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3))] @4: Dave is green.[(((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7))] @5: Dave is blue.[(((((((triple5 triple7 ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule3) ((triple6 triple7 triple8) -> rule4)) -> rule7) ((((triple6 triple7 triple8) -> rule4) triple7) -> rule6)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple7 triple8) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple6 triple7 triple8) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple7 triple8) -> (rule4 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple5 triple7 ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule3 % int3)) ((triple6 triple7 triple8) -> (rule4 % int5))) -> (rule7 % int2)) ((((triple6 triple7 triple8) -> (rule4 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Bob was born only a few years ago so he is young.
Charlie is big and dresses in blue.
Dave is cold which makes him red! Dave is young and rough but also very kind.
They always call him rough Eric.
We called someone with green, round eyes, blue for some reason.
A green and red colored person who is rather nice will definitely be kind.
Kind people that are rough and round are also considered big.
A red colored person who is kind and feels cold is usually considered nice.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
A very nice and kind person will also be round shaped.
An individual who is big and nice is also green.