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