To the touch Bob has rough, cold skin. Eric is young, he is also red and green. Fred ate some rotten meat and now feels green. Upon meeting Harry, you'll notice he's green and kind. A young aged and blue colored person will certainly be round. Big people who are red in color are often nice. Anybody that is big is also someone who is going to be blue. If a person is red and green, then they will present as big. Round and big people are sure to be rough.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Eric is red.
True
1
proof
[(triple4)]
("Eric" "is" "red" "+")
triple4
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Eric is big.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Eric" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Eric" "is" "big" "-")
((triple4 triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
True
5
proof
[(((((triple4 triple5) -> rule4) triple4) -> rule2))]
("Eric" "is" "nice" "+")
((((triple4 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((((triple4 triple5) -> rule4) triple4) -> rule2))]
("Eric" "is" "nice" "-")
((((triple4 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
True
6
proof
[(((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]
("Eric" "is" "round" "+")
((triple3 ((((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not round.
False
6
inv-proof
[(((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]
("Eric" "is" "round" "-")
((triple3 ((((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is rough.
True
10
proof
[(((((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1) ((triple4 triple5) -> rule4)) -> rule5))]
("Eric" "is" "rough" "+")
((((triple3 ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int4))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not rough.
False
10
inv-proof
[(((((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1) ((triple4 triple5) -> rule4)) -> rule5))]
("Eric" "is" "rough" "-")
((((triple3 ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int4))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Bob is cold.[(triple2)] Bob is rough.[(triple1)] Eric is green.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple6)] Harry is green.[(triple8)] Harry is kind.[(triple7)] @1: Eric is big.[(((triple4 triple5) -> rule4))] @2: Eric is blue.[(((((triple4 triple5) -> rule4)) -> rule3))] Eric is nice.[(((((triple4 triple5) -> rule4) triple4) -> rule2))] @3: Eric is round.[(((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1))] @4: Eric is rough.[(((((triple3 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1) ((triple4 triple5) -> rule4)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple4 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple3 ((((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((((triple3 ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int4))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
To the touch Bob has rough, cold skin.
Eric is young, he is also red and green.
Fred ate some rotten meat and now feels green.
Upon meeting Harry, you'll notice he's green and kind.
A young aged and blue colored person will certainly be round.
Big people who are red in color are often nice.
Anybody that is big is also someone who is going to be blue.
If a person is red and green, then they will present as big.
Round and big people are sure to be rough.