Alan ate some rotten meat and now feels green. Dave's a round guy, and a red and green guy. Young Fred is wearing green pants. Young Harry is wearing green pants. Most young, green people are kind and because of this they are round. Cold people who are young and green are actually nice. If you are green you are also kind. If you meet a person who is green, big and blue, you will find them to be nice. Kind people,though green,tend to be nice. Nice people are cold people.
Alan is green.
("Alan" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
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 green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Dave is kind.
True
2
proof
[(((triple4) -> rule3))]
("Dave" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple8) -> rule3))]
("Harry" "is" "kind" "-")
((triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
True
4
proof
[(((((triple8) -> rule3) triple8) -> rule5))]
("Harry" "is" "nice" "+")
((((triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fred is not round.
False
5
inv-proof
[(((triple6 triple5 ((triple6) -> rule3)) -> rule1))]
("Fred" "is" "round" "-")
((triple6 triple5 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Alan is cold.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule6))]
("Alan" "is" "cold" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Dave is not cold.
False
5
inv-proof
[(((((((triple4) -> rule3) triple4) -> rule5)) -> rule6))]
("Dave" "is" "cold" "-")
((((((triple4) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is green.[(triple1)] Dave is green.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is green.[(triple8)] Harry is young.[(triple7)] @1: Alan is kind.[(((triple1) -> rule3))] Dave is kind.[(((triple4) -> rule3))] Fred is kind.[(((triple6) -> rule3))] Harry is kind.[(((triple8) -> rule3))] @2: Alan is nice.[(((((triple1) -> rule3) triple1) -> rule5))] Dave is nice.[(((((triple4) -> rule3) triple4) -> rule5))] Fred is nice.[(((((triple6) -> rule3) triple6) -> rule5))] Fred is round.[(((triple6 triple5 ((triple6) -> rule3)) -> rule1))] Harry is nice.[(((((triple8) -> rule3) triple8) -> rule5))] Harry is round.[(((triple8 triple7 ((triple8) -> rule3)) -> rule1))] @3: Alan is cold.[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule6))] Dave is cold.[(((((((triple4) -> rule3) triple4) -> rule5)) -> rule6))] Fred is cold.[(((((((triple6) -> rule3) triple6) -> rule5)) -> rule6))] Harry is cold.[(((((((triple8) -> rule3) triple8) -> rule5)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Alan is kind.
("Alan" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple6 triple5 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple7 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple4) -> (rule3 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple6) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple8) -> (rule3 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan ate some rotten meat and now feels green.
Dave's a round guy, and a red and green guy.
Young Fred is wearing green pants.
Young Harry is wearing green pants.
Most young, green people are kind and because of this they are round.
Cold people who are young and green are actually nice.
If you are green you are also kind.
If you meet a person who is green, big and blue, you will find them to be nice.
Kind people,though green,tend to be nice.
Nice people are cold people.