Alan is kind and round. Being round makes him a bit blue. Bob is interestingly colored red and blue, and is also very kind. Charlie is young and green round guy, and that keeps him from being cold.  He has stayed kind. Fred ate some rotten meat and now feels green. Kind young people are red. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Any human being with green, big, kind eyes, also has round eyes. Kind and young people are round. People who are round and young are also quite nice. When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple6)]
("Bob" "is" "blue" "+")
triple6
Bob is not kind.
False
1
inv-proof
[(triple5)]
("Bob" "is" "kind" "-")
triple5
Charlie is red.
True
3
proof
[(((triple9 triple7) -> rule1))]
("Charlie" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple7 triple8) -> rule5) OR ((triple7 ((triple7 triple9) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple7 triple8) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 ((triple7 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Bob is round.
True
5
proof
[(((((triple5 triple4) -> rule6) triple5) -> rule4))]
("Bob" "is" "round" "+")
((((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not round.
False
5
inv-proof
[(((((triple5 triple4) -> rule6) triple5) -> rule4))]
("Bob" "is" "round" "-")
((((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
True
9
proof
[(((((triple5 triple4) -> rule6) ((((triple5 triple4) -> rule6) triple5) -> rule4)) -> rule5))]
("Bob" "is" "nice" "+")
((((triple5 triple4) -> (rule6 % int3)) ((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple5 triple4) -> rule6) ((((triple5 triple4) -> rule6) triple5) -> rule4)) -> rule5))]
("Bob" "is" "nice" "-")
((((triple5 triple4) -> (rule6 % int3)) ((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is nice.
Unknown
rconc
[@3: Alan is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Charlie is cold.[(triple11)] Charlie is green.[(triple10)] Charlie is kind.[(triple9)] Charlie is round.[(triple8 OR ((triple7 triple9) -> rule4))] Charlie is young.[(triple7)] Fred is green.[(triple12)] @1: Bob is young.[(((triple5 triple4) -> rule6))] Charlie is nice.[(((triple7 triple8) -> rule5) OR ((triple7 ((triple7 triple9) -> rule4)) -> rule5))] Charlie is red.[(((triple9 triple7) -> rule1))] @2: Bob is round.[(((((triple5 triple4) -> rule6) triple5) -> rule4))] @3: Bob is nice.[(((((triple5 triple4) -> rule6) ((((triple5 triple4) -> rule6) triple5) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple11
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
((triple7 triple9) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 triple8) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 ((triple7 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5 triple4) -> (rule6 % int3)) ((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is kind and round; Being round makes him a bit blue.
Bob is interestingly colored red and blue, and is also very kind.
Charlie is young and green round guy, and that keeps him from being cold; He has stayed kind.
Fred ate some rotten meat and now feels green.
Kind young people are red.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
Any human being with green, big, kind eyes, also has round eyes.
Kind and young people are round.
People who are round and young are also quite nice.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.