Erin is furry. Erin is green. Erin is round. Erin is young. Fiona is furry. Fiona is red. Fiona is round. Harry is furry. Harry is nice. Harry is red. If something is nice then it is green.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Harry is green.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "green" "+")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "green" "-")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Harry is green.[(((triple9) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
((triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1