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