Bob is young, he is also red and green. Eric loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Gary is so big, he is often blue, but always kind. Most young, green people are kind and because of this they are round. If you are green you are also kind. Green people here that are also round and nice are always rough. You will always find a cold, rough, red person to also be a round person. When you meet someone with cold, rough skin and a round figure they will be nice. If someone is kind, green, and round sized, then they are typically nice people.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
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 green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple9)]
("Gary" "is" "big" "+")
triple9
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Eric is nice.
True
4
proof
[(((triple5 triple6 triple4) -> rule5))]
("Eric" "is" "nice" "+")
((triple5 triple6 triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
4
inv-proof
[(((triple5 triple6 triple4) -> rule5))]
("Eric" "is" "nice" "-")
((triple5 triple6 triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Bob is round.
True
5
proof
[(((triple3 triple1 ((triple3) -> rule2)) -> rule1))]
("Bob" "is" "round" "+")
((triple3 triple1 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple3 triple1 ((triple3) -> rule2)) -> rule1))]
("Bob" "is" "round" "-")
((triple3 triple1 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
True
9
proof
[(((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6))]
("Bob" "is" "nice" "+")
((((triple3) -> (rule2 % int3)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6))]
("Bob" "is" "nice" "-")
((((triple3) -> (rule2 % int3)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
True
16
proof
[(((((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6) ((triple3 triple1 ((triple3) -> rule2)) -> rule1) triple3) -> rule3))]
("Bob" "is" "rough" "+")
((((((triple3) -> (rule2 % int4)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not rough.
False
16
inv-proof
[(((((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6) ((triple3 triple1 ((triple3) -> rule2)) -> rule1) triple3) -> rule3))]
("Bob" "is" "rough" "-")
((((((triple3) -> (rule2 % int4)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] @1: Bob is kind.[(((triple3) -> rule2))] Eric is nice.[(((triple5 triple6 triple4) -> rule5))] @2: Bob is round.[(((triple3 triple1 ((triple3) -> rule2)) -> rule1))] @3: Bob is nice.[(((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6))] @4: Bob is rough.[(((((((triple3) -> rule2) triple3 ((triple3 triple1 ((triple3) -> rule2)) -> rule1)) -> rule6) ((triple3 triple1 ((triple3) -> rule2)) -> rule1) triple3) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 triple6 triple4) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple1 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3) -> (rule2 % int3)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple3) -> (rule2 % int4)) triple3 ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple1 ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young, he is also red and green.
Eric loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Gary is so big, he is often blue, but always kind.
Most young, green people are kind and because of this they are round.
If you are green you are also kind.
Green people here that are also round and nice are always rough.
You will always find a cold, rough, red person to also be a round person.
When you meet someone with cold, rough skin and a round figure they will be nice.
If someone is kind, green, and round sized, then they are typically nice people.