Bob is both young and fairly round in size. That Charlie is as round and red as a cherry, and twice as kind. Fred is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Gary is a kind and red colored guy. Nice blue people are often rough. Soon you will understand that big people are nice. People who are rough are young. A kind and cold person who is green is, surprisingly, also blue. When someone feels blue and rough, they might be described as green. Rough young folks are surprisingly kind. Nice people who are big in stature often look rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Fred is rough.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Fred" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Fred" "is" "rough" "-")
((triple7 triple8) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
True
4
proof
[(((((triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "young" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not green.
False
5
inv-proof
[(((triple8 ((triple7 triple8) -> rule1)) -> rule5))]
("Fred" "is" "green" "-")
((triple8 ((triple7 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
True
8
proof
[(((((((triple7 triple8) -> rule1)) -> rule3) ((triple7 triple8) -> rule1)) -> rule6))]
("Fred" "is" "kind" "+")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not kind.
False
8
inv-proof
[(((((((triple7 triple8) -> rule1)) -> rule3) ((triple7 triple8) -> rule1)) -> rule6))]
("Fred" "is" "kind" "-")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is kind.
Unknown
rconc
[@3: Bob is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@3: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Fred is blue.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Fred is rough.[(((triple7 triple8) -> rule1))] @2: Fred is green.[(((triple8 ((triple7 triple8) -> rule1)) -> rule5))] Fred is young.[(((((triple7 triple8) -> rule1)) -> rule3))] @3: Fred is kind.[(((((((triple7 triple8) -> rule1)) -> rule3) ((triple7 triple8) -> rule1)) -> rule6))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8 ((triple7 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Bob is both young and fairly round in size.
That Charlie is as round and red as a cherry, and twice as kind.
Fred is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Gary is a kind and red colored guy.
Nice blue people are often rough.
Soon you will understand that big people are nice.
People who are rough are young.
A kind and cold person who is green is, surprisingly, also blue.
When someone feels blue and rough, they might be described as green.
Rough young folks are surprisingly kind.
Nice people who are big in stature often look rough.