Dave is a red person who is round and also feels blue. Upon meeting Gary, you'll notice he's green and kind. Harry is young and round, he is also green. If people are cold they are often red. A rough person who is young and nice is also red. A quite nice person will certainly be red. A person who is cold with a red nose will be feeling blue. Red, young people are for the most part round too. When a person's traits are to be big, blue and cold, they will also have a red trait. When you meet kind people they wont have a cold heart.
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Dave is round.
True
1
proof
[(triple1)]
("Dave" "is" "round" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Gary is cold.
True
2
proof
[(((triple4) -> rule7))]
("Gary" "is" "cold" "+")
((triple4) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple4) -> rule7))]
("Gary" "is" "cold" "-")
((triple4) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
True
3
proof
[(((((triple4) -> rule7)) -> rule1))]
("Gary" "is" "red" "+")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule1))]
("Gary" "is" "red" "-")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
True
6
proof
[(((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule1)) -> rule4))]
("Gary" "is" "blue" "+")
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not blue.
False
6
inv-proof
[(((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule1)) -> rule4))]
("Gary" "is" "blue" "-")
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Fred" "is" "red" "-")
Harry is red.
Unknown
rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Harry" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Harry" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is blue.[(triple3)] Dave is red.[(triple2)] Dave is round.[(triple1)] Gary is green.[(triple5)] Gary is kind.[(triple4)] Harry is green.[(triple8)] Harry is round.[(triple7)] Harry is young.[(triple6)] @1: Gary is cold.[(((triple4) -> rule7))] @2: Gary is red.[(((((triple4) -> rule7)) -> rule1))] @3: Gary is blue.[(((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule1)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
((triple4) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is a red person who is round and also feels blue.
Upon meeting Gary, you'll notice he's green and kind.
Harry is young and round, he is also green.
If people are cold they are often red.
A rough person who is young and nice is also red.
A quite nice person will certainly be red.
A person who is cold with a red nose will be feeling blue.
Red, young people are for the most part round too.
When a person's traits are to be big, blue and cold, they will also have a red trait.
When you meet kind people they wont have a cold heart.