Bob is blue. Bob is green. Bob is not kind. Bob is white. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is not green. Fiona is kind. Fiona is red. Harry is blue. Harry is not cold. Harry is furry. Harry is not green. Harry is not kind. Harry is white. If something is red and green then it is cold. Green things are not cold. All green things are not kind. If something is red and furry then it is not kind. Furry things are red. All furry things are not green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is white.
("Harry" "is" "white" "+")
If something is red and green then it is cold.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Green things are not cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "-"))
All green things are not kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
If something is red and furry then it is not kind.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "-"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
All furry things are not green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
Fiona is not green.
True
1
proof
[(triple8)]
("Fiona" "is" "green" "-")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "kind" "-")
triple9
Bob is not cold.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Harry is not red.
False
2
inv-proof
[(((triple13) -> rule5))]
("Harry" "is" "red" "-")
((triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3 OR ((triple2) -> rule3))] Bob is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple9)] Fiona is not furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is red.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple13)] Harry is not cold.[(triple12)] Harry is not green.[(triple14 OR ((triple13) -> rule6))] Harry is not kind.[(triple15 OR ((((triple13) -> rule5) triple13) -> rule4))] Harry is white.[(triple16)] @1: Bob is not cold.[(((triple2) -> rule2))] Harry is red.[(((triple13) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
((triple2) -> (rule3 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not cold.
("Harry" "is" "cold" "-")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple14
((triple13) -> (rule6 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
triple15
((((triple13) -> (rule5 % int2)) triple13) -> (rule4 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple16
Bob is not cold.
("Bob" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple13) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1