When you talk about Dave, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Eric is young, he is also red and green. To the touch Fred has rough, cold skin. Harry is a nice person who is red because he has a rash. Cold and rough people will also surely be round shaped. When someone is nice and rough they are usually red. Rough, round persons are also nice persons. A young, cold person is often blue.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Dave is rough.
True
1
proof
[(triple1)]
("Dave" "is" "rough" "+")
triple1
Eric is not green.
False
1
inv-proof
[(triple6)]
("Eric" "is" "green" "-")
triple6
Fred is round.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "round" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "round" "-")
((triple8 triple7) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
True
5
proof
[(((triple7 ((triple8 triple7) -> rule1)) -> rule3))]
("Fred" "is" "nice" "+")
((triple7 ((triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple7 ((triple8 triple7) -> rule1)) -> rule3))]
("Fred" "is" "nice" "-")
((triple7 ((triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
True
7
proof
[(((((triple7 ((triple8 triple7) -> rule1)) -> rule3) triple7) -> rule2))]
("Fred" "is" "red" "+")
((((triple7 ((triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((triple7 ((triple8 triple7) -> rule1)) -> rule3) triple7) -> rule2))]
("Fred" "is" "red" "-")
((((triple7 ((triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Dave is cold.[(triple3)] Dave is nice.[(triple2 OR ((triple1 ((triple3 triple1) -> rule1)) -> rule3))] Dave is rough.[(triple1)] Eric is green.[(triple6)] Eric is red.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] Harry is nice.[(triple10)] Harry is red.[(triple9)] @1: Dave is red.[(((triple2 triple1) -> rule2) OR ((((triple1 ((triple3 triple1) -> rule1)) -> rule3) triple1) -> rule2))] Dave is round.[(((triple3 triple1) -> rule1))] Fred is round.[(((triple8 triple7) -> rule1))] @2: Fred is nice.[(((triple7 ((triple8 triple7) -> rule1)) -> rule3))] @3: Fred is red.[(((((triple7 ((triple8 triple7) -> rule1)) -> rule3) triple7) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
((triple1 ((triple3 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple1 ((triple3 triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((triple3 triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 ((triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple7 ((triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
When you talk about Dave, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Eric is young, he is also red and green.
To the touch Fred has rough, cold skin.
Harry is a nice person who is red because he has a rash.
Cold and rough people will also surely be round shaped.
When someone is nice and rough they are usually red.
Rough, round persons are also nice persons.
A young, cold person is often blue.