Anne is nice. Erin is young. Fiona is furry. Harry is kind. All furry things are young. If something is cold and furry then it is nice. All smart things are red. All kind, young things are cold. Cold, red things are nice. If something is young then it is red. Red things are smart. If Harry is cold and Harry is young then Harry is nice.
Anne is nice.
("Anne" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is cold and furry then it is nice.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
All kind, young things are cold.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Cold, red things are nice.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Harry is cold and Harry is young then Harry is nice.
((("Harry" "is" "cold" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "nice" "+"))
Harry is kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Harry is not smart.
Unknown
inv-rconc
[@3: Harry is smart.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is nice.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] Harry is kind.[(triple4)] @1: Erin is red.[(((triple2) -> rule6))] Fiona is young.[(((triple3) -> rule1))] @2: Erin is smart.[(((((triple2) -> rule6)) -> rule7))] Fiona is red.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is smart.[(((((((triple3) -> rule1)) -> rule6)) -> rule7))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3