Eric is both big and round, with blue features. Big Fred is nice but also rough. Gary is round, dresses in red, but is blue with cold. Harry is a kind and red colored guy. When young, round people are cold it their skin gets a blue tinge to it. Often, when you meet a rough person with red skin, you'll see that they are young too. Kind, rough people who are nice are also cold. A human that's cold also means they are a human that is young. Someone big and rough in shape is always kind. Someone who's blue, nice and round will also be someone who's green.
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple4)]
("Fred" "is" "rough" "+")
triple4
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Gary is young.
True
2
proof
[(((triple9) -> rule4))]
("Gary" "is" "young" "+")
((triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple6 triple4) -> rule5))]
("Fred" "is" "kind" "-")
((triple6 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
True
6
proof
[(((((triple6 triple4) -> rule5) triple4 triple5) -> rule3))]
("Fred" "is" "cold" "+")
((((triple6 triple4) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((((triple6 triple4) -> rule5) triple4 triple5) -> rule3))]
("Fred" "is" "cold" "-")
((((triple6 triple4) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
True
7
proof
[(((((((triple6 triple4) -> rule5) triple4 triple5) -> rule3)) -> rule4))]
("Fred" "is" "young" "+")
((((((triple6 triple4) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not young.
False
7
inv-proof
[(((((((triple6 triple4) -> rule5) triple4 triple5) -> rule3)) -> rule4))]
("Fred" "is" "young" "-")
((((((triple6 triple4) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Eric is big.[(triple3)] Eric is blue.[(triple2)] Eric is round.[(triple1)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Fred is rough.[(triple4)] Gary is blue.[(triple10 OR ((((triple9) -> rule4) triple7 triple9) -> rule1))] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is kind.[(triple12)] Harry is red.[(triple11)] @1: Fred is kind.[(((triple6 triple4) -> rule5))] Gary is young.[(((triple9) -> rule4))] @2: Fred is cold.[(((((triple6 triple4) -> rule5) triple4 triple5) -> rule3))] @3: Fred is young.[(((((((triple6 triple4) -> rule5) triple4 triple5) -> rule3)) -> rule4))]
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((((triple9) -> (rule4 % int2)) triple7 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple6 triple4) -> (rule5 % int2)) triple4 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple6 triple4) -> (rule5 % int3)) triple4 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Eric is both big and round, with blue features.
Big Fred is nice but also rough.
Gary is round, dresses in red, but is blue with cold.
Harry is a kind and red colored guy.
When young, round people are cold it their skin gets a blue tinge to it.
Often, when you meet a rough person with red skin, you'll see that they are young too.
Kind, rough people who are nice are also cold.
A human that's cold also means they are a human that is young.
Someone big and rough in shape is always kind.
Someone who's blue, nice and round will also be someone who's green.