Dave is nice. Dave is not rough. Dave is white. Erin is nice. Erin is not smart. Erin is white. Fiona is blue. Fiona is round. Fiona is not smart. Harry is young. If something is rough then it is round. Rough things are round. If something is young then it is round. If Harry is rough and Harry is white then Harry is smart. If something is nice then it is blue. If something is blue and not nice then it is white.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Harry is rough and Harry is white then Harry is smart.
((("Harry" "is" "rough" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is blue and not nice then it is white.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "is" "white" "+"))
Erin is nice.
True
1
proof
[(triple4)]
("Erin" "is" "nice" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "round" "-")
triple8
Dave is blue.
True
2
proof
[(((triple1) -> rule5))]
("Dave" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple10) -> rule3))]
("Harry" "is" "round" "-")
((triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "white" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Dave is nice.[(triple1)] Dave is not rough.[(triple2)] Dave is white.[(triple3)] Erin is nice.[(triple4)] Erin is not smart.[(triple5)] Erin is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is not smart.[(triple9)] Fiona is round.[(triple8)] Harry is young.[(triple10)] @1: Dave is blue.[(((triple1) -> rule5))] Erin is blue.[(((triple4) -> rule5))] Harry is round.[(((triple10) -> rule3))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1