Bob is red. Charlie is nice. Erin is young. Fiona is round. If something is nice then it is round. All young things are round. All red things are not rough. All kind things are rough. If something is nice and rough then it is not green. If something is young and not nice then it is not green. If Erin is young then Erin is red. If something is kind then it is not red.
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All red things are not rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "-"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is nice and rough then it is not green.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "-"))
If something is young and not nice then it is not green.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "green" "-"))
If Erin is young then Erin is red.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "red" "+"))
If something is kind then it is not red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "-"))
Fiona is round.
True
1
proof
[(triple4)]
("Fiona" "is" "round" "+")
triple4
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "rough" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Erin is young.[(triple3)] Fiona is round.[(triple4)] @1: Bob is not rough.[(((triple1) -> rule3))] Charlie is round.[(((triple2) -> rule1))] Erin is red.[(((triple3) -> rule7))] Erin is round.[(((triple3) -> rule2))] @2: Erin is not rough.[(((((triple3) -> rule7)) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Bob is not rough.
("Bob" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2