Bob is young. Erin is cold. Fiona is cold. Harry is round. If someone is furry and white then they are kind. Round people are furry. If someone is cold and furry then they are white. Smart, white people are young. If someone is smart and round then they are white. All kind people are furry.
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is furry and white then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold and furry then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Smart, white people are young.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If someone is smart and round then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Harry is furry.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "furry" "-")
((triple4) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@4: Erin is white.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is young.[(triple1)] Erin is cold.[(triple2)] Fiona is cold.[(triple3)] Harry is round.[(triple4)] @1: Harry is furry.[(((triple4) -> rule2))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1