Anne is big. Anne is furry. Anne is nice. Anne is round. Anne is young. Dave is furry. Dave is green. Dave is rough. Erin is big. Erin is furry. Erin is green. Erin is rough. Erin is round. Harry is furry. Harry is nice. Harry is rough. Young, furry things are big. All furry things are round. Rough, big things are furry. Young things are nice. If something is young and big then it is furry. All rough things are furry. All green, young things are big. If something is green then it is round.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Young, furry things are big.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Rough, big things are furry.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is young and big then it is furry.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All green, young things are big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Dave is green.
True
1
proof
[(triple7)]
("Dave" "is" "green" "+")
triple7
Dave is not furry.
False
1
inv-proof
[(triple6 OR ((triple8) -> rule6))]
("Dave" "is" "furry" "-")
triple6
((triple8) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule1))] Anne is furry.[(triple2 OR ((triple5 triple1) -> rule5))] Anne is nice.[(triple3 OR ((triple5) -> rule4))] Anne is round.[(triple4 OR ((triple2) -> rule2) OR ((((triple5 triple1) -> rule5)) -> rule2))] Anne is young.[(triple5)] Dave is furry.[(triple6 OR ((triple8) -> rule6))] Dave is green.[(triple7)] Dave is rough.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10 OR ((triple12) -> rule6) OR ((triple12 triple9) -> rule3))] Erin is green.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13 OR ((triple10) -> rule2) OR ((triple11) -> rule8) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple12 triple9) -> rule3)) -> rule2))] Harry is furry.[(triple14 OR ((triple16) -> rule6))] Harry is nice.[(triple15)] Harry is rough.[(triple16)] @1: Dave is round.[(((triple6) -> rule2) OR ((triple7) -> rule8) OR ((((triple8) -> rule6)) -> rule2))] Harry is round.[(((triple14) -> rule2) OR ((((triple16) -> rule6)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5 triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple5 triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple5) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple5 triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple8) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
((triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple12 triple9) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
((triple10) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple11) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple12 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple14
((triple16) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple7) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple14) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple16) -> (rule6 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2