Even though he's young and green, Eric is rough. Fred is known to be rough and green. Big Gary, the most blue guy I know while also being cold. Harry ate some rotten meat and now feels green. People that are big and cold are blue as well. There are so many rough, young people and for some reason they are all big too. A person who is red and green, will also tend to be round shaped and rough. Someone who is cold and big is also a red person. When someone is big, young and rough, they can be cold. Blue, red and nice people are always big, too.
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Gary is red.
True
3
proof
[(((triple8 triple6) -> rule4))]
("Gary" "is" "red" "+")
((triple8 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple8 triple6) -> rule4))]
("Gary" "is" "red" "-")
((triple8 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Eric is cold.
True
6
proof
[(((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5))]
("Eric" "is" "cold" "+")
((triple2 triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not cold.
False
6
inv-proof
[(((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5))]
("Eric" "is" "cold" "-")
((triple2 triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
True
10
proof
[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule1))]
("Eric" "is" "blue" "+")
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not blue.
False
10
inv-proof
[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule1))]
("Eric" "is" "blue" "-")
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Eric is green.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1)] Fred is green.[(triple5)] Fred is rough.[(triple4)] Gary is big.[(triple8)] Gary is blue.[(triple7 OR ((triple8 triple6) -> rule1))] Gary is cold.[(triple6)] Harry is green.[(triple9)] @1: Eric is big.[(((triple1 triple2) -> rule2))] Gary is red.[(((triple8 triple6) -> rule4))] @2: Eric is cold.[(((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5))] @3: Eric is blue.[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule1))] Eric is red.[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule4))]
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple8 triple6) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple1 triple2) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple2 triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((((triple1 triple2) -> (rule2 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Even though he's young and green, Eric is rough.
Fred is known to be rough and green.
Big Gary, the most blue guy I know while also being cold.
Harry ate some rotten meat and now feels green.
People that are big and cold are blue as well.
There are so many rough, young people and for some reason they are all big too.
A person who is red and green, will also tend to be round shaped and rough.
Someone who is cold and big is also a red person.
When someone is big, young and rough, they can be cold.
Blue, red and nice people are always big, too.