Erin is nice. Fiona is red. If someone is blue then they are young. White, blue people are smart. Nice, blue people are smart. Young, smart people are white. Blue, smart people are young. Nice people are red. Kind, red people are nice. If someone is red then they are nice.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
White, blue people are smart.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Nice, blue people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Young, smart people are white.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Blue, smart people are young.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Kind, red people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is nice.[(triple1)] Fiona is red.[(triple2)] @1: Erin is red.[(((triple1) -> rule6))] Fiona is nice.[(((triple2) -> rule8))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1