Anne is cold. Anne is furry. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Fiona is kind. Fiona is smart. Gary is furry. Gary is kind. If someone is nice then they are furry. Nice people are smart. If Dave is furry then Dave is young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Dave is furry then Dave is young.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Fiona is not kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "-")
triple7
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule1))] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Fiona is kind.[(triple7)] Fiona is smart.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] @1: Dave is smart.[(((triple5) -> rule2))] Dave is young.[(((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2