Alan always goes out of his way to show that he is kind to people. Bob associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Big Eric is very nice. Though he is rough and cold he is green and still learning. Harry ate some rotten meat and now feels green. People that tend to be big and green also tend to be cold. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who are blue and green are nice. A nice and colored blue person will be rather big. You will probably see that big, round, blue people are green, too. Rough folks with green and red coloration tend to feel cold no matter what. People that are blue, cold, and big, are rather rough.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Eric is big.
True
1
proof
[(triple10)]
("Eric" "is" "big" "+")
triple10
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Bob is nice.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Bob" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple5 triple4) -> rule3))]
("Bob" "is" "nice" "-")
((triple5 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
True
5
proof
[(((triple5 ((triple5 triple4) -> rule3)) -> rule4))]
("Bob" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not big.
False
5
inv-proof
[(((triple5 ((triple5 triple4) -> rule3)) -> rule4))]
("Bob" "is" "big" "-")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
True
7
proof
[(((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1))]
("Bob" "is" "cold" "+")
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1))]
("Bob" "is" "cold" "-")
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
True
14
proof
[(((triple5 ((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1) ((triple5 ((triple5 triple4) -> rule3)) -> rule4)) -> rule7))]
("Bob" "is" "rough" "+")
((triple5 ((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not rough.
False
14
inv-proof
[(((triple5 ((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1) ((triple5 ((triple5 triple4) -> rule3)) -> rule4)) -> rule7))]
("Bob" "is" "rough" "-")
((triple5 ((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is kind.[(triple1)] Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is young.[(triple2)] Eric is big.[(triple10)] Eric is cold.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple6 triple10 triple7) -> rule2))] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Harry is green.[(triple11)] @1: Bob is nice.[(((triple5 triple4) -> rule3))] @2: Bob is big.[(((triple5 ((triple5 triple4) -> rule3)) -> rule4))] @3: Bob is cold.[(((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1))] @4: Bob is rough.[(((triple5 ((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1) ((triple5 ((triple5 triple4) -> rule3)) -> rule4)) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
((triple10 triple8) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple6 triple10 triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple5 ((((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Alan always goes out of his way to show that he is kind to people.
Bob associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Big Eric is very nice; Though he is rough and cold he is green and still learning.
Harry ate some rotten meat and now feels green.
People that tend to be big and green also tend to be cold.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
People who are blue and green are nice.
A nice and colored blue person will be rather big.
You will probably see that big, round, blue people are green, too.
Rough folks with green and red coloration tend to feel cold no matter what.
People that are blue, cold, and big, are rather rough.