Anne is kind. Erin is kind. Fiona is cold. Fiona is rough. Fiona is smart. Harry is cold. Harry is young. All cold things are kind. Young things are smart.
Anne is kind.
("Anne" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "smart" "-")
triple5
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Fiona is cold.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Harry is cold.[(triple6)] Harry is young.[(triple7)] @1: Fiona is kind.[(((triple3) -> rule1))] Harry is kind.[(((triple6) -> rule1))] Harry is smart.[(((triple7) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1