Dave is blue. Dave is furry. Dave is green. Dave is white. Dave is young. Fiona is blue. Fiona is furry. Fiona is smart. Fiona is young. Gary is smart. Gary is white. Gary is young. All rough, furry things are white. Blue things are rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All rough, furry things are white.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Fiona is young.
True
1
proof
[(triple9)]
("Fiona" "is" "young" "+")
triple9
Fiona is not furry.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "furry" "-")
triple7
Fiona is rough.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Dave" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is white.
True
4
proof
[(((((triple6) -> rule2) triple7) -> rule1))]
("Fiona" "is" "white" "+")
((((triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((((triple6) -> rule2) triple7) -> rule1))]
("Fiona" "is" "white" "-")
((((triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is white.[(triple4 OR ((((triple1) -> rule2) triple2) -> rule1))] Dave is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Dave is rough.[(((triple1) -> rule2))] Fiona is rough.[(((triple6) -> rule2))] @2: Fiona is white.[(((((triple6) -> rule2) triple7) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2