Anne is cold. Anne is quiet. Anne is round. Dave is cold. Dave is quiet. Dave is smart. Erin is furry. Erin is nice. Erin is round. Erin is smart. Erin is young. Harry is furry. Harry is quiet. Harry is round. Harry is smart. If something is furry and smart then it is young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is furry and smart then it is young.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Erin is nice.
True
1
proof
[(triple8)]
("Erin" "is" "nice" "+")
triple8
Dave is not cold.
False
1
inv-proof
[(triple4)]
("Dave" "is" "cold" "-")
triple4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Dave is cold.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple7 triple10) -> rule1))] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Harry is young.[(((triple12 triple15) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
((triple7 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
((triple12 triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1