Bob is big and red, but he's young and will grow out of it. Eric is rough but very kind, he is also red in color and young in age. Gary is round shaped and green colored. If the description of nice and green applies to somebody, the description of young will, too. Anybody who is so cold that they are red and blue must be young. People who are round and young are also very nice. Red, young people are for the most part round too. Nice people are kind and rough when they are young. Humans who are nice to others while they are young and red will also be green. A person who is red and green, will also tend to be round shaped and rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "-")
triple2
Bob is round.
True
3
proof
[(((triple2 triple1) -> rule4))]
("Bob" "is" "round" "+")
((triple2 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("Bob" "is" "round" "-")
((triple2 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
5
proof
[(((((triple2 triple1) -> rule4) triple1) -> rule3))]
("Bob" "is" "nice" "+")
((((triple2 triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((((triple6 triple4) -> rule4) triple4) -> rule3))]
("Eric" "is" "nice" "-")
((((triple6 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
True
8
proof
[(((((((triple6 triple4) -> rule4) triple4) -> rule3) triple4 triple6) -> rule6))]
("Eric" "is" "green" "+")
((((((triple6 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple4 triple6) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Bob is not green.
False
8
inv-proof
[(((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6))]
("Bob" "is" "green" "-")
((((((triple2 triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple1 triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
True
13
proof
[(((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6) triple2) -> rule7))]
("Bob" "is" "rough" "+")
((((triple2 triple1) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4)) triple1) -> (rule3 % int3)) triple1 triple2) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not rough.
False
13
inv-proof
[(((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6) triple2) -> rule7))]
("Bob" "is" "rough" "-")
((((triple2 triple1) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4)) triple1) -> (rule3 % int3)) triple1 triple2) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@3: Gary is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5 OR ((((triple6 triple4) -> rule4) ((((((triple6 triple4) -> rule4) triple4) -> rule3) triple4 triple6) -> rule6) triple6) -> rule7))] Eric is young.[(triple4)] Gary is green.[(triple9)] Gary is round.[(triple8)] @1: Bob is round.[(((triple2 triple1) -> rule4))] Eric is round.[(((triple6 triple4) -> rule4))] @2: Bob is nice.[(((((triple2 triple1) -> rule4) triple1) -> rule3))] Eric is nice.[(((((triple6 triple4) -> rule4) triple4) -> rule3))] @3: Bob is green.[(((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6))] Eric is green.[(((((((triple6 triple4) -> rule4) triple4) -> rule3) triple4 triple6) -> rule6))] @4: Bob is rough.[(((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6) triple2) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
((((triple6 triple4) -> (rule4 % int4)) ((((((triple6 triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) triple4 triple6) -> (rule6 % int2)) triple6) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple4) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple6 triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple2 triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple1 triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((((triple6 triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple4 triple6) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple1) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4)) triple1) -> (rule3 % int3)) triple1 triple2) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is big and red, but he's young and will grow out of it.
Eric is rough but very kind, he is also red in color and young in age.
Gary is round shaped and green colored.
If the description of nice and green applies to somebody, the description of young will, too.
Anybody who is so cold that they are red and blue must be young.
People who are round and young are also very nice.
Red, young people are for the most part round too.
Nice people are kind and rough when they are young.
Humans who are nice to others while they are young and red will also be green.
A person who is red and green, will also tend to be round shaped and rough.