Rough Bob can be nice and kind looking green. Charlie is round shaped and green colored. Dave wears all blue. Fred is a fairly round person for being as nice as he is. He is also blue because of his rough upbringing. He gets red when he talks about it. People with blue and red skin color are also green. Nice people who are big are always cold because they can't find space near the heater. Being green and rough are signs that someone is big. People who are nice and kind are somewhat young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Fred is nice.
True
1
proof
[(triple11)]
("Fred" "is" "nice" "+")
triple11
Charlie is not round.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "round" "-")
triple5
Fred is green.
True
3
proof
[(((triple12 triple10) -> rule1))]
("Fred" "is" "green" "+")
((triple12 triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Bob" "is" "young" "-")
((triple3 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
True
5
proof
[(((((triple4 triple1) -> rule3) triple2) -> rule2))]
("Bob" "is" "cold" "+")
((((triple4 triple1) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((((triple4 triple1) -> rule3) triple2) -> rule2))]
("Bob" "is" "cold" "-")
((((triple4 triple1) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Fred is cold.
True
7
proof
[(((((((triple12 triple10) -> rule1) triple9) -> rule3) triple11) -> rule2))]
("Fred" "is" "cold" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not cold.
False
7
inv-proof
[(((((((triple12 triple10) -> rule1) triple9) -> rule3) triple11) -> rule2))]
("Fred" "is" "cold" "-")
((((((triple12 triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is green.[(triple6)] Charlie is round.[(triple5)] Dave is blue.[(triple7)] Fred is blue.[(triple12)] Fred is nice.[(triple11)] Fred is red.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] @1: Bob is big.[(((triple4 triple1) -> rule3))] Bob is young.[(((triple3 triple2) -> rule4))] Fred is green.[(((triple12 triple10) -> rule1))] @2: Bob is cold.[(((((triple4 triple1) -> rule3) triple2) -> rule2))] Fred is big.[(((((triple12 triple10) -> rule1) triple9) -> rule3))] @3: Fred is cold.[(((((((triple12 triple10) -> rule1) triple9) -> rule3) triple11) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple4 triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple12 triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple4 triple1) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple12 triple10) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Rough Bob can be nice and kind looking green.
Charlie is round shaped and green colored.
Dave wears all blue.
Fred is a fairly round person for being as nice as he is; He is also blue because of his rough upbringing; He gets red when he talks about it.
People with blue and red skin color are also green.
Nice people who are big are always cold because they can't find space near the heater.
Being green and rough are signs that someone is big.
People who are nice and kind are somewhat young.