Dave is big. Erin is young. Gary is nice. Harry is nice. All green, young things are round. Quiet, green things are white. If something is quiet then it is big. If something is green and big then it is quiet. All round, quiet things are big. All white, round things are quiet. All green things are big. If Dave is big then Dave is young.
Dave is big.
("Dave" "is" "big" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All green, young things are round.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Quiet, green things are white.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is green and big then it is quiet.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All round, quiet things are big.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All white, round things are quiet.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Dave is big then Dave is young.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "young" "+"))
Harry is nice.
True
1
proof
[(triple4)]
("Harry" "is" "nice" "+")
triple4
Harry is not nice.
False
1
inv-proof
[(triple4)]
("Harry" "is" "nice" "-")
triple4
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Dave is big.[(triple1)] Erin is young.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Dave is young.[(((triple1) -> rule8))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
((triple1) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1