Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. All rough, young things are white.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All rough, young things are white.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Fiona is young.
True
1
proof
[(triple12)]
("Fiona" "is" "young" "+")
triple12
Harry is not smart.
False
1
inv-proof
[(triple16)]
("Harry" "is" "smart" "-")
triple16
Dave is white.
True
3
proof
[(((triple4 triple6) -> rule1))]
("Dave" "is" "white" "+")
((triple4 triple6) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("Dave" "is" "white" "-")
((triple4 triple6) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple9 triple12) -> rule1))] Fiona is young.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Dave is white.[(((triple4 triple6) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple9 triple12) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Dave is white.
("Dave" "is" "white" "+")
((triple4 triple6) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1