Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Charlie is not cold. Charlie is kind. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Harry is not cold. Harry is white. If someone is white then they are furry. Furry, cold people are not smart. If someone is cold then they are green. If someone is furry and cold then they are not quiet. If Bob is green and Bob is not cold then Bob is not white. All green people are kind.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Furry, cold people are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and cold then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "-"))
If Bob is green and Bob is not cold then Bob is not white.
((("Bob" "is" "green" "+") ("Bob" "is" "cold" "~")) -> ("Bob" "is" "white" "-"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Bob is kind.
True
1
proof
[(triple3 OR ((triple2) -> rule6))]
("Bob" "is" "kind" "+")
triple3
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Harry is cold.
False
1
inv-proof
[(triple14)]
("Harry" "is" "cold" "+")
triple14
Fiona is kind.
True
2
proof
[(((triple10) -> rule6))]
("Fiona" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fiona" "is" "kind" "-")
((triple10) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is furry.[(triple1 OR ((triple6) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule6))] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Charlie is kind.[(triple8)] Charlie is not cold.[(triple7)] Fiona is furry.[(triple9 OR ((triple13) -> rule1))] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Harry is not cold.[(triple14)] Harry is white.[(triple15)] @1: Fiona is kind.[(((triple10) -> rule6))] Harry is furry.[(((triple15) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple13) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Harry is not cold.
("Harry" "is" "cold" "-")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1