Charlie is rough. Fiona is nice. Harry is white. Nice, rough people are kind. If someone is rough then they are nice. Cold, white people are red. If someone is nice then they are kind. If Fiona is rough and Fiona is kind then Fiona is cold. Nice, rough people are white.
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice, rough people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Cold, white people are red.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is rough and Fiona is kind then Fiona is cold.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "cold" "+"))
Nice, rough people are white.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is rough.[(triple1)] Fiona is nice.[(triple2)] Harry is white.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule4))] @2: Charlie is kind.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule1))] Charlie is white.[(((((triple1) -> rule2) triple1) -> rule6))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2