Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Fiona is red. Harry is blue. Harry is not green. Harry is kind. Harry is red. Blue, nice people are kind. If Bob is not smart then Bob is kind. Smart, red people are green. If Fiona is blue then Fiona is green. If Fiona is nice then Fiona is green. Green, furry people are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Blue, nice people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If Bob is not smart then Bob is kind.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "kind" "+"))
Smart, red people are green.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If Fiona is blue then Fiona is green.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "green" "+"))
If Fiona is nice then Fiona is green.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "green" "+"))
Green, furry people are nice.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Fiona is red.
True
1
proof
[(triple6)]
("Fiona" "is" "red" "+")
triple6
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple2) -> rule6))] Bob is red.[(triple5)] Fiona is red.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple9)] Harry is not green.[(triple8)] Harry is red.[(triple10)] @1: Bob is kind.[(((triple1 triple4) -> rule1) OR ((triple1 ((triple3 triple2) -> rule6)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple3 triple2) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is not green.
("Harry" "is" "green" "-")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple1 ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2