Alan was feeling red with anger after the fight, but he was still a nice but big human being. Dave ate some rotten meat and now feels green. Eric is rough and cold, but he's young and will get over it. Young round blue people are also big people. Young and rough people tend to be green too. Cold people who are young and green are actually nice. Green people with red round cheeks are young. Young round folks who are at least a bit red are actually nice. Someone might be red but blue from the cold dressing in green. Young people tend to rough and nice, but they are also red.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Eric is young.
True
1
proof
[(triple5)]
("Eric" "is" "young" "+")
triple5
Alan is not big.
False
1
inv-proof
[(triple3)]
("Alan" "is" "big" "-")
triple3
Eric is green.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Eric" "is" "green" "+")
((triple5 triple6) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Eric" "is" "green" "-")
((triple5 triple6) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
True
6
proof
[(((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3))]
("Eric" "is" "nice" "+")
((triple7 ((triple5 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3))]
("Eric" "is" "nice" "-")
((triple7 ((triple5 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
True
9
proof
[(((triple5 triple6 ((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7))]
("Eric" "is" "red" "+")
((triple5 triple6 ((triple7 ((triple5 triple6) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not red.
False
9
inv-proof
[(((triple5 triple6 ((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7))]
("Eric" "is" "red" "-")
((triple5 triple6 ((triple7 ((triple5 triple6) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "red" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Dave is green.[(triple4)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5)] @1: Eric is green.[(((triple5 triple6) -> rule2))] @2: Eric is nice.[(((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3))] @3: Eric is red.[(((triple5 triple6 ((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple6) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 ((triple5 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple6 ((triple7 ((triple5 triple6) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan was feeling red with anger after the fight, but he was still a nice but big human being.
Dave ate some rotten meat and now feels green.
Eric is rough and cold, but he's young and will get over it.
Young round blue people are also big people.
Young and rough people tend to be green too.
Cold people who are young and green are actually nice.
Green people with red round cheeks are young.
Young round folks who are at least a bit red are actually nice.
Someone might be red but blue from the cold dressing in green.
Young people tend to rough and nice, but they are also red.