Erin is not blue. Erin is furry. Erin is quiet. Erin is smart. Erin is white. Gary is blue. Gary is white. Harry is blue. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If someone is quiet then they are white. All smart, quiet people are furry.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All smart, quiet people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Harry is quiet.
True
1
proof
[(triple9)]
("Harry" "is" "quiet" "+")
triple9
Erin is not smart.
False
1
inv-proof
[(triple4)]
("Erin" "is" "smart" "-")
triple4
Harry is white.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "white" "+")
((triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "white" "-")
((triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is furry.[(triple2 OR ((triple4 triple3) -> rule2))] Erin is not blue.[(triple1)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule1))] Gary is blue.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Harry is furry.[(((triple12 triple9) -> rule2))] Harry is white.[(((triple9) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple4 triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
((triple12 triple9) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1