Charlie is blue. Charlie is kind. Erin is kind. Erin is smart. Fiona is smart. Harry is big. Harry is rough. If something is smart then it is nice. If something is smart then it is blue. If something is rough and not young then it is smart. If Charlie is young then Charlie is not nice. If something is young and blue then it is rough. If Fiona is young and Fiona is nice then Fiona is smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is smart then it is nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If something is smart then it is blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If something is rough and not young then it is smart.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "+"))
If Charlie is young then Charlie is not nice.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "nice" "-"))
If something is young and blue then it is rough.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If Fiona is young and Fiona is nice then Fiona is smart.
((("Fiona" "is" "young" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "smart" "+"))
Harry is rough.
True
1
proof
[(triple7)]
("Harry" "is" "rough" "+")
triple7
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] Erin is smart.[(triple4)] Fiona is smart.[(triple5)] Harry is big.[(triple6)] Harry is rough.[(triple7)] @1: Erin is blue.[(((triple4) -> rule2))] Erin is nice.[(((triple4) -> rule1))] Fiona is blue.[(((triple5) -> rule2))] Fiona is nice.[(((triple5) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1