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