Bob was born only a few years ago so he is young. Eric is young and green round guy, and that keeps him from being cold.  He has stayed kind. Due to the fact that Fred is young, he is red and green. He remains kind nevertheless. Young Harry is wearing green pants. Despite being kind cold people with red ears will still be big. A young, red person will certainly be cold. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Bob is young.
("Bob" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple6)]
("Eric" "is" "cold" "+")
triple6
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Fred is cold.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Fred" "is" "cold" "+")
((triple8 triple7) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Fred" "is" "cold" "-")
((triple8 triple7) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
True
6
proof
[(((((triple8 triple7) -> rule2) triple8 triple9) -> rule1) OR ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1))]
("Fred" "is" "big" "+")
((((triple8 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8 triple7) -> (rule2 % int3)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not big.
False
6
inv-proof
[(((((triple8 triple7) -> rule2) triple8 triple9) -> rule1) OR ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1))]
("Fred" "is" "big" "-")
((((triple8 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8 triple7) -> (rule2 % int3)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is round.
True
11
proof
[(((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5))]
("Fred" "is" "round" "+")
((((triple8 triple7) -> (rule2 % int3)) triple9 ((((triple8 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) triple9 ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Fred is not round.
False
11
inv-proof
[(((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5))]
("Fred" "is" "round" "-")
((((triple8 triple7) -> (rule2 % int3)) triple9 ((((triple8 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) triple9 ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is young.[(triple1)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4 OR ((triple5 triple6 triple2) -> rule3))] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is green.[(triple10)] Fred is kind.[(triple9 OR ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3))] Fred is red.[(triple8)] Fred is young.[(triple7)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Fred is cold.[(((triple8 triple7) -> rule2))] @2: Fred is big.[(((((triple8 triple7) -> rule2) triple8 triple9) -> rule1) OR ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1))] @3: Fred is round.[(((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 triple9) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) triple9 ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5) OR ((((triple8 triple7) -> rule2) ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3) ((((triple8 triple7) -> rule2) triple8 ((triple10 ((triple8 triple7) -> rule2) triple7) -> rule3)) -> rule1)) -> rule5))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
((triple5 triple6 triple2) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
((triple10 ((triple8 triple7) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 triple7) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple8 triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8 triple7) -> (rule2 % int3)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple8 triple7) -> (rule2 % int3)) triple9 ((((triple8 triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) triple9 ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8 triple7) -> (rule2 % int4)) ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3)) ((((triple8 triple7) -> (rule2 % int4)) triple8 ((triple10 ((triple8 triple7) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Bob was born only a few years ago so he is young.
Eric is young and green round guy, and that keeps him from being cold; He has stayed kind.
Due to the fact that Fred is young, he is red and green; He remains kind nevertheless.
Young Harry is wearing green pants.
Despite being kind cold people with red ears will still be big.
A young, red person will certainly be cold.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.