Eric is big, round, rough and cold, but Eric can also be nice. Fred ate some rotten meat and now feels green. Gary looks big and is kind with red hair and green shoes. When young, round people are cold it their skin gets a blue tinge to it. Cold people,though green and red,tend to be rough. If a kind, red person is also feeling blue then he will be cold to outsiders. Anyone perceived to be rough, cold and kind will also be nice. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Young people that are big in size, tend to be more on the blue side. Big kind people are usually cold.
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
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 cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Eric is cold.
True
1
proof
[(triple4)]
("Eric" "is" "cold" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Gary is cold.
True
3
proof
[(((triple8 triple10) -> rule7))]
("Gary" "is" "cold" "+")
((triple8 triple10) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple8 triple10) -> rule7))]
("Gary" "is" "cold" "-")
((triple8 triple10) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
True
6
proof
[(((((triple8 triple10) -> rule7) triple9 triple10) -> rule5))]
("Gary" "is" "young" "+")
((((triple8 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not young.
False
6
inv-proof
[(((((triple8 triple10) -> rule7) triple9 triple10) -> rule5))]
("Gary" "is" "young" "-")
((((triple8 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
True
11
proof
[(((((((triple8 triple10) -> rule7) triple9 triple7) -> rule2) ((triple8 triple10) -> rule7) triple8) -> rule4))]
("Gary" "is" "nice" "+")
((((((triple8 triple10) -> (rule7 % int3)) triple9 triple7) -> (rule2 % int2)) ((triple8 triple10) -> (rule7 % int3)) triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not blue.
False
8
inv-proof
[(((triple10 ((((triple8 triple10) -> rule7) triple9 triple10) -> rule5)) -> rule6))]
("Gary" "is" "blue" "-")
((triple10 ((((triple8 triple10) -> (rule7 % int3)) triple9 triple10) -> (rule5 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is nice.[(triple3)] Eric is rough.[(triple2)] Eric is round.[(triple1)] Fred is green.[(triple6)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] @1: Gary is cold.[(((triple8 triple10) -> rule7))] @2: Gary is rough.[(((((triple8 triple10) -> rule7) triple9 triple7) -> rule2))] Gary is young.[(((((triple8 triple10) -> rule7) triple9 triple10) -> rule5))] @3: Gary is blue.[(((triple10 ((((triple8 triple10) -> rule7) triple9 triple10) -> rule5)) -> rule6))] Gary is nice.[(((((((triple8 triple10) -> rule7) triple9 triple7) -> rule2) ((triple8 triple10) -> rule7) triple8) -> rule4))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple10) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple10) -> (rule7 % int2)) triple9 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple8 triple10) -> (rule7 % int2)) triple9 triple10) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 ((((triple8 triple10) -> (rule7 % int3)) triple9 triple10) -> (rule5 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple8 triple10) -> (rule7 % int3)) triple9 triple7) -> (rule2 % int2)) ((triple8 triple10) -> (rule7 % int3)) triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Eric is big, round, rough and cold, but Eric can also be nice.
Fred ate some rotten meat and now feels green.
Gary looks big and is kind with red hair and green shoes.
When young, round people are cold it their skin gets a blue tinge to it.
Cold people,though green and red,tend to be rough.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Anyone perceived to be rough, cold and kind will also be nice.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Young people that are big in size, tend to be more on the blue side.
Big kind people are usually cold.