Anne is smart. Bob is blue. Erin is blue. Gary is furry. Blue, furry things are young. If something is round then it is smart. Green things are blue. Smart things are quiet. Quiet things are furry. Young, smart things are round.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Blue, furry things are young.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is round then it is smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Young, smart things are round.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Gary is furry.
True
1
proof
[(triple4)]
("Gary" "is" "furry" "+")
triple4
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is smart.[(triple1)] Bob is blue.[(triple2)] Erin is blue.[(triple3)] Gary is furry.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule5))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2