Alan is nice and kind, but a little rough. You think Bob is only rough, cold and blue, but I know he is also young, round and kind. Because Charlie gets cold easily he tends to appear round from bundling up. They always call him rough Dave. A young and cold person is red. Being a young, round and kind individual means that you are also a blue individual. People who are cold even when they're nice and round, they are young. Color anybody red and blue, then make them rough, and they will surely be round. A person who is round shaped while also being quite cold tends to be nice. Big people that are also rough, are ultimately round.
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple9 OR ((triple4 triple5 triple7) -> rule2) OR ((((((triple5 triple8) -> rule5) triple5 triple8) -> rule3) triple5 triple7) -> rule2))]
("Bob" "is" "blue" "+")
triple9
((triple4 triple5 triple7) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((((triple5 triple8) -> (rule5 % int3)) triple5 triple8) -> (rule3 % int2)) triple5 triple7) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is not round.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "round" "-")
triple10
Bob is red.
True
3
proof
[(((triple8 triple4) -> rule1) OR ((triple8 ((((triple5 triple8) -> rule5) triple5 triple8) -> rule3)) -> rule1))]
("Bob" "is" "red" "+")
((triple8 triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple8 ((((triple5 triple8) -> (rule5 % int3)) triple5 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is not nice.
False
3
inv-proof
[(((triple10 triple11) -> rule5))]
("Charlie" "is" "nice" "-")
((triple10 triple11) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
True
6
proof
[(((((triple10 triple11) -> rule5) triple10 triple11) -> rule3))]
("Charlie" "is" "young" "+")
((((triple10 triple11) -> (rule5 % int2)) triple10 triple11) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((((triple10 triple11) -> rule5) triple10 triple11) -> rule3))]
("Charlie" "is" "young" "-")
((((triple10 triple11) -> (rule5 % int2)) triple10 triple11) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
True
8
proof
[(((triple11 ((((triple10 triple11) -> rule5) triple10 triple11) -> rule3)) -> rule1))]
("Charlie" "is" "red" "+")
((triple11 ((((triple10 triple11) -> (rule5 % int3)) triple10 triple11) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((triple11 ((((triple10 triple11) -> rule5) triple10 triple11) -> rule3)) -> rule1))]
("Charlie" "is" "red" "-")
((triple11 ((((triple10 triple11) -> (rule5 % int3)) triple10 triple11) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple9 OR ((triple4 triple5 triple7) -> rule2) OR ((((((triple5 triple8) -> rule5) triple5 triple8) -> rule3) triple5 triple7) -> rule2))] Bob is cold.[(triple8)] Bob is kind.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5 OR ((triple9 triple6 ((triple8 triple4) -> rule1)) -> rule4))] Bob is young.[(triple4 OR ((((triple5 triple8) -> rule5) triple5 triple8) -> rule3))] Charlie is cold.[(triple11)] Charlie is round.[(triple10)] Dave is rough.[(triple12)] @1: Bob is nice.[(((triple5 triple8) -> rule5) OR ((((triple9 triple6 ((triple8 triple4) -> rule1)) -> rule4) triple8) -> rule5))] Bob is red.[(((triple8 triple4) -> rule1) OR ((triple8 ((((triple5 triple8) -> rule5) triple5 triple8) -> rule3)) -> rule1))] Charlie is nice.[(((triple10 triple11) -> rule5))] @2: Charlie is young.[(((((triple10 triple11) -> rule5) triple10 triple11) -> rule3))] @3: Charlie is red.[(((triple11 ((((triple10 triple11) -> rule5) triple10 triple11) -> rule3)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple9
((triple4 triple5 triple7) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((((triple5 triple8) -> (rule5 % int3)) triple5 triple8) -> (rule3 % int2)) triple5 triple7) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple9 triple6 ((triple8 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple4
((((triple5 triple8) -> (rule5 % int2)) triple5 triple8) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple12
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple8) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple9 triple6 ((triple8 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple8 triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple8 ((((triple5 triple8) -> (rule5 % int3)) triple5 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple10 triple11) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple10 triple11) -> (rule5 % int2)) triple10 triple11) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple11 ((((triple10 triple11) -> (rule5 % int3)) triple10 triple11) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is nice and kind, but a little rough.
You think Bob is only rough, cold and blue, but I know he is also young, round and kind.
Because Charlie gets cold easily he tends to appear round from bundling up.
They always call him rough Dave.
A young and cold person is red.
Being a young, round and kind individual means that you are also a blue individual.
People who are cold even when they're nice and round, they are young.
Color anybody red and blue, then make them rough, and they will surely be round.
A person who is round shaped while also being quite cold tends to be nice.
Big people that are also rough, are ultimately round.