Bob gets red when he is mad and tends to act very cold. Charlie feels nice and kind today, so he paints himself green and embraces his cold side. Charlie is big enough to do whatever he wants. Dave ate some rotten meat and now feels green. Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. Red and green people that are nice are cold to strangers. People that are big and cold are blue as well. A round shaped and rough person will be blue as well. Blue people who are rough are often young. Big kind people are usually cold. A blue individual that is kind and nice to others also has a rough appearance.
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Eric is not kind.
False
1
inv-proof
[(triple11)]
("Eric" "is" "kind" "-")
triple11
Eric is rough.
True
4
proof
[(((triple11 triple12 triple10) -> rule6))]
("Eric" "is" "rough" "+")
((triple11 triple12 triple10) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
4
inv-proof
[(((triple11 triple12 triple10) -> rule6))]
("Eric" "is" "rough" "-")
((triple11 triple12 triple10) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
True
6
proof
[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule4))]
("Eric" "is" "young" "+")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not young.
False
6
inv-proof
[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule4))]
("Eric" "is" "young" "-")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Charlie is young.
True
10
proof
[(((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4))]
("Charlie" "is" "young" "+")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple4 ((triple7 triple6) -> (rule2 % int4)) triple3) -> (rule6 % int3)) ((triple7 ((triple4 triple7) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not young.
False
10
inv-proof
[(((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4))]
("Charlie" "is" "young" "-")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple4 ((triple7 triple6) -> (rule2 % int4)) triple3) -> (rule6 % int3)) ((triple7 ((triple4 triple7) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6 OR ((triple4 triple7) -> rule5))] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Dave is green.[(triple8)] Eric is blue.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is round.[(triple9)] @1: Charlie is blue.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple4 triple7) -> rule5)) -> rule2))] Eric is rough.[(((triple11 triple12 triple10) -> rule6))] @2: Charlie is rough.[(((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) OR ((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6))] Eric is young.[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule4))] @3: Charlie is young.[(((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
((triple4 triple7) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is round.
("Eric" "is" "round" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple6) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple7 ((triple4 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple11 triple12 triple10) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 ((triple7 triple6) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple4 ((triple7 triple6) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple4 ((triple7 triple6) -> (rule2 % int4)) triple3) -> (rule6 % int3)) ((triple7 ((triple4 triple7) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple4 ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule6 % int2)) ((triple7 ((triple4 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Bob gets red when he is mad and tends to act very cold.
Charlie feels nice and kind today, so he paints himself green and embraces his cold side; Charlie is big enough to do whatever he wants.
Dave ate some rotten meat and now feels green.
Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him.
Red and green people that are nice are cold to strangers.
People that are big and cold are blue as well.
A round shaped and rough person will be blue as well.
Blue people who are rough are often young.
Big kind people are usually cold.
A blue individual that is kind and nice to others also has a rough appearance.