Bob who is considered nice was feeling rather rough today. Charlie is big and dresses in blue. Eric is a rather round fellow, but kind and nice to people. He often looks green and blue. Gary is young but big for his age. Gary wasn't feeling well so he is a little green. Most young, green people are kind and because of this they are round. If you meet a kind green person with a round shape they will also be young. Rough and green people are also nice. People who are young and green are also kind. Young, kind people with a round body shape can be cold to strangers.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Eric is young.
True
4
proof
[(((triple7 triple8 triple5) -> rule2))]
("Eric" "is" "young" "+")
((triple7 triple8 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple10 triple11) -> rule4))]
("Gary" "is" "kind" "-")
((triple10 triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is cold.
True
7
proof
[(((triple7 ((triple7 triple8 triple5) -> rule2) triple5) -> rule5))]
("Eric" "is" "cold" "+")
((triple7 ((triple7 triple8 triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Gary is not round.
False
6
inv-proof
[(((triple11 triple10 ((triple10 triple11) -> rule4)) -> rule1))]
("Gary" "is" "round" "-")
((triple11 triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
True
11
proof
[(((((triple10 triple11) -> rule4) triple10 ((triple11 triple10 ((triple10 triple11) -> rule4)) -> rule1)) -> rule5))]
("Gary" "is" "cold" "+")
((((triple10 triple11) -> (rule4 % int3)) triple10 ((triple11 triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
11
inv-proof
[(((((triple10 triple11) -> rule4) triple10 ((triple11 triple10 ((triple10 triple11) -> rule4)) -> rule1)) -> rule5))]
("Gary" "is" "cold" "-")
((((triple10 triple11) -> (rule4 % int3)) triple10 ((triple11 triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Eric is blue.[(triple9)] Eric is green.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Eric is young.[(((triple7 triple8 triple5) -> rule2))] Gary is kind.[(((triple10 triple11) -> rule4))] @2: Eric is cold.[(((triple7 ((triple7 triple8 triple5) -> rule2) triple5) -> rule5))] Gary is round.[(((triple11 triple10 ((triple10 triple11) -> rule4)) -> rule1))] @3: Gary is cold.[(((((triple10 triple11) -> rule4) triple10 ((triple11 triple10 ((triple10 triple11) -> rule4)) -> rule1)) -> rule5))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
((triple7 triple8 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 ((triple7 triple8 triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10 triple11) -> (rule4 % int3)) triple10 ((triple11 triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Bob who is considered nice was feeling rather rough today.
Charlie is big and dresses in blue.
Eric is a rather round fellow, but kind and nice to people; He often looks green and blue.
Gary is young but big for his age; Gary wasn't feeling well so he is a little green.
Most young, green people are kind and because of this they are round.
If you meet a kind green person with a round shape they will also be young.
Rough and green people are also nice.
People who are young and green are also kind.
Young, kind people with a round body shape can be cold to strangers.