Anne is furry. Anne is kind. Anne is rough. Dave is rough. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Harry is rough. Harry is smart. If something is kind and white then it is smart. If something is red then it is kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is kind and white then it is smart.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Harry is smart.
True
1
proof
[(triple10)]
("Harry" "is" "smart" "+")
triple10
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Fiona is kind.
True
2
proof
[(((triple5) -> rule2))]
("Fiona" "is" "kind" "+")
((triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "kind" "-")
((triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
True
4
proof
[(((((triple5) -> rule2) triple7) -> rule1))]
("Fiona" "is" "smart" "+")
((((triple5) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((((triple5) -> rule2) triple7) -> rule1))]
("Fiona" "is" "smart" "-")
((((triple5) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Dave is rough.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is kind.[(((triple5) -> rule2))] @2: Fiona is smart.[(((((triple5) -> rule2) triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2