Charlie is rough but nice, big but cold. Dave is a big gentleman who is very nice. He is secretly green with envy. Nice people that are blue because they are cold turn green with envy. People that are big and cold are blue as well. If you see someone who is red and green they are round, like Santa Claus. A person who is nice and green with envy is round. People who are rough and green with envy are young. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. People who are nice and kind are somewhat young.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Charlie is not cold.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "cold" "-")
triple3
Charlie is blue.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Charlie" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not kind.
False
4
inv-proof
[(((triple3 triple2 triple4) -> rule6))]
("Charlie" "is" "kind" "-")
((triple3 triple2 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
True
6
proof
[(((((triple3 triple2 triple4) -> rule6) triple2) -> rule7) OR ((triple1 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule5))]
("Charlie" "is" "young" "+")
((((triple3 triple2 triple4) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple1 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not young.
False
6
inv-proof
[(((((triple3 triple2 triple4) -> rule6) triple2) -> rule7) OR ((triple1 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule5))]
("Charlie" "is" "young" "-")
((((triple3 triple2 triple4) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple1 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
True
8
proof
[(((triple2 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule4))]
("Charlie" "is" "round" "+")
((triple2 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
8
inv-proof
[(((triple2 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule4))]
("Charlie" "is" "round" "-")
((triple2 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is nice.[(triple2)] Charlie is rough.[(triple1)] Dave is big.[(triple7)] Dave is green.[(triple6)] Dave is nice.[(triple5)] @1: Charlie is blue.[(((triple4 triple3) -> rule2))] Charlie is kind.[(((triple3 triple2 triple4) -> rule6))] Dave is round.[(((triple5 triple6) -> rule4))] @2: Charlie is green.[(((((triple4 triple3) -> rule2) triple2 triple3) -> rule1))] Charlie is young.[(((((triple3 triple2 triple4) -> rule6) triple2) -> rule7) OR ((triple1 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule5))] @3: Charlie is round.[(((triple2 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple2 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4 triple3) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3 triple2 triple4) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple1 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 ((((triple4 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough but nice, big but cold.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Nice people that are blue because they are cold turn green with envy.
People that are big and cold are blue as well.
If you see someone who is red and green they are round, like Santa Claus.
A person who is nice and green with envy is round.
People who are rough and green with envy are young.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
People who are nice and kind are somewhat young.