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