Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Fiona is green. Gary is furry. Gary is kind. Gary is smart. Harry is kind. If someone is green then they are kind. If someone is smart and green then they are kind. If someone is cold and kind then they are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and green then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple2 triple4) -> rule3))] Charlie is kind.[(triple4 OR ((triple3) -> rule1) OR ((triple5 triple3) -> rule2))] Charlie is smart.[(triple5)] Fiona is green.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Harry is kind.[(triple10)] @1: Fiona is kind.[(((triple6) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple2 triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5 triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1