Others enjoy Bob's company because he is so nice and kind. Charlie is nice and young with red hair and a blue shirt. Eric is rough and red, but he is still young; he is still blue with youth. A young aged and blue colored person will certainly be round. A nice young person who is rough around the edges is big. Any person who is blue and round, if they are kind at the same time, will be young. Everyone who manages to be both rough and round are also kind. Rough and green people are also nice. When you meet kind people they wont have a cold heart. A green colored and rough person will be quite kind.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple7)]
("Eric" "is" "young" "-")
triple7
Charlie is round.
True
3
proof
[(((triple3 triple6) -> rule1))]
("Charlie" "is" "round" "+")
((triple3 triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple7 triple10) -> rule1))]
("Eric" "is" "round" "-")
((triple7 triple10) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
True
5
proof
[(((triple8 ((triple7 triple10) -> rule1)) -> rule4))]
("Eric" "is" "kind" "+")
((triple8 ((triple7 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((triple8 ((triple7 triple10) -> rule1)) -> rule4))]
("Eric" "is" "kind" "-")
((triple8 ((triple7 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
True
6
proof
[(((((triple8 ((triple7 triple10) -> rule1)) -> rule4)) -> rule6))]
("Eric" "is" "cold" "+")
((((triple8 ((triple7 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not cold.
False
6
inv-proof
[(((((triple8 ((triple7 triple10) -> rule1)) -> rule4)) -> rule6))]
("Eric" "is" "cold" "-")
((((triple8 ((triple7 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is kind.[(triple2)] Bob is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is young.[(triple3)] Eric is blue.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7)] @1: Bob is cold.[(((triple2) -> rule6))] Charlie is round.[(((triple3 triple6) -> rule1))] Eric is round.[(((triple7 triple10) -> rule1))] @2: Eric is kind.[(((triple8 ((triple7 triple10) -> rule1)) -> rule4))] @3: Eric is cold.[(((((triple8 ((triple7 triple10) -> rule1)) -> rule4)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple10) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 ((triple7 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple8 ((triple7 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Others enjoy Bob's company because he is so nice and kind.
Charlie is nice and young with red hair and a blue shirt.
Eric is rough and red, but he is still young; he is still blue with youth.
A young aged and blue colored person will certainly be round.
A nice young person who is rough around the edges is big.
Any person who is blue and round, if they are kind at the same time, will be young.
Everyone who manages to be both rough and round are also kind.
Rough and green people are also nice.
When you meet kind people they wont have a cold heart.
A green colored and rough person will be quite kind.